PDFs are now excluded by .gitignore