Move DocBook-XML into docs submodule to allow whole-site building.
Regenerate HTML.