gwern comments on Optimizing Sleep