Antoine de Scorraille ⏸️ comments on A tale of 2.5 orthogonality theses