Lift the manual page to DocBook so we can generate HTML from it.