gwern comments on metachirality’s Shortform