large PDF file limit on GitHub, so copying back individual files