gjm comments on Vladimir_Nesov’s Shortform

[gjm]

Aha. I had missed that footnote; my apologies.