No need to zip PDF files for archive.org.