Open arXiv PDFs directly (without going to the browser) by saving them in the local directory