Implement export of zipped PDFs