Raemon comments on RobertM’s Shortform