hg00 comments on Jimrandomh’s Shortform