Script to clean up DocBook files in preparation for conversion to HTMLBook.