gwern comments on Probability, knowledge, and meta-probability