Randomized, Controlled comments on Jimrandomh’s Shortform