gwern comments on Richard_Kennaway’s Shortform