habryka comments on Closed Limelike Curves’s Shortform