Christopher King comments on Proposal: Using Monte Carlo tree search instead of RLHF for alignment research