gwern comments on Optimal rudeness