Highlighting or otherwise adding HTML elements
That is correct, you cannot add HTML source code to the comments without the HTML being quoted (so it shows up as HTML source).
Michael H. Pryor
But, is there a way to highlight certain parts of the comment ? Or format it slightly ?
There's no way to do this, but if you wanted to set up some simple rules to allow it it would be a relatively small change to the source code. There's one isolated function which is responsible for encoding the final HTML, and you could change it to replace [[ with <em> and ]] with </em>, for example.
Fog Creek Home