When a structured text file contains HTML
or XML markup, this is passed straight
through to the documentation.
This causes problems when using DocBook as
an output format.
It would be very useful to have an option
to get &lt; and &gt; replaced by &amp;lt;
and &amp;gt; (and probably &amp; replaced by