gwern comments on JanGoergens’s Shortform