Converting PyDoc to Docbook XML?