Simplify PDF header data.
Document --ascii flag for pandoc in PDF generation.