nostalgebraist comments on Thane Ruthenis’s Shortform