nostalgebraist comments on evhub’s Shortform