nostalgebraist comments on eggsyntax’s Shortform