GitHub seems to deduplicate PDF files, try if renaming helps