nostalgebraist comments on Julian Bradshaw’s Shortform