Sam Marks comments on nostalgebraist’s Shortform