gwern comments on “Manna” by Marshall Brain