External PDFs

There are external PDF files from around the web. I had to convert some of them, but I tried to keep the original files too.