gjm comments on Is LessWrong dead without Cox’s theorem?