This is the documentation part of #40 that does not include a fix.
The update to DocBook 4.3 is necessary for the <code> tags.
<code>