nostalgebraist comments on Jan’s Shortform