nostalgebraist comments on elifland’s Shortform