gjm comments on Optimizing optimizing LessWrong