Some work to clean up the PDF documentation.