gwern comments on Jacob Pfau’s Shortform