Vladimir_Nesov comments on Mitigating Social Awkwardness

[Vladimir_Nesov]

(I don’t like the editor either, the only convenient way of dealing with most formatting glitches is processing raw HTML.)