jacquesthibs comments on Daniel Tan’s Shortform