Jonas Hallgren comments on Raemon’s Shortform