HTML code in documentation comments should be escaped

[tristanjahier]

In my codo comments, I have written <select> many times. It causes problems when documentation displays. There are <select> elements in the page, and some strings are cut.

[inossidabile]

Codo comments are markdown. Use it accordingly.