johnswentworth comments on johnswentworth’s Shortform

[johnswentworth]

Nope, we were in Overleaf.

… but also that’s useful info, thanks.