nostalgebraist comments on Lucius Bushnaq’s Shortform