gwern comments on Closed Limelike Curves’s Shortform