More TODOs. Temporary download PDF from GitHub.
Be verbose.
Temporary workaround to download PDFs from arXiv.