The wiki markup used in the docs (as extracted using the "raw" format) is a
little ugly and hard to read at times.  However, the wiki has a DocBook export
function now, so it's possible to have a much nicer looking doc.

I'm attaching two things:
1.  A fragment of XSL to kill the unnecessary ToC generated by the DocBook
templates (docs/toc-kill.xsl)
2.  A patch to docs/Makefile to use the fragment and xmlto (from the "xmlto"
package) to do the work