gwern comments on Beware Trivial Inconveniences