gwern comments on A History of Bayes’ Theorem