[dunham]

I meant that I have repositories checked out of github that contain pdf files. Most repositories that I check out of github are in ~/code, which I back up in case it disappears upstream. But it does look like a lot of those files actually are academic papers.