lc comments on gwern’s Shortform