Thomas Kwa comments on nostalgebraist’s Shortform