incorrect display of HTML <code> tags

[calln]

G'day.  We have noticed that when we use the generate HTML Report feature, text that includes <code> ... </code> is not properly understood as HTML.
The resulting HTML has the tags escaped so they appear as regular text.

This crops up in a good deal of imported Java code (from the JDK).  Any chance we could get a fix?

Cheers!