Rendering PDFs

PDF rendering uses PagedJS to produce ‘chunked’ HTML that can be printed to a PDF file from a browser.

See the github repo.