Thane Ruthenis comments on nostalgebraist’s Shortform