evhub comments on nostalgebraist’s Shortform