gwern comments on Guessing the Teacher’s Password