gwern comments on A Proof of Occam’s Razor