This used to be where we stored PDFs of the docs website. Now that we don't
make those anymore, I deleted the files to keep users from ending up with
outdated stuff.

-NF