Paper downloader

Paper downloader 是一个简单的 chrome 插件，可帮助从数字图书馆下载具有人类可读文件名的文件。
目前它适用于 arxiv.org 和 eccc.hpi-web.de。