Vladimir_Nesov comments on Issues, Bugs, and Requested Features

[Vladimir_Nesov]

I’d rather disable heading in the comments altogether...