nostalgebraist comments on CapResearcher’s Shortform