gwern comments on keltan’s Shortform