MondSemmel comments on nostalgebraist’s Shortform