Port documentation from DocBook to Mallard