gwern comments on RobertM’s Shortform