Vladimir_Nesov comments on romeo’s Shortform

[Vladimir_Nesov]

I wrote it up in a new shortform.