gwern comments on Linch’s Shortform