gwern comments on George’s Shortform