gwern comments on The Instrumental Value of Your Own Time