Highlight documentation: add feature of comment position

Adds to the documentation a missing feature of the syntax highlighter: the use of the position attribute in the comment element.