This is a one-click bookmarklet that calls a local python server that downloads, crops and sends the file. Cropping takes ~10 seconds or so.
You need to have a couple of things locally, namely
ghostscript (sudo apt-get install ghostscript)
rmapi (go get -u github.com/juruen/rmapi)
Once you have those, you need to connect rmapi, do that by running it+following the instructions.
The python dependencies are managed with pipenv so running pipenv install sets you up.
The bookmarklet itself is built with gulp, so you can do
cd js && npm install && npm run gulp
To build the dist folder with the bookmarklet.
After that's done, you can do pipenv run service.py and navigate to {wherever this is}/js/dist/test-page.html from where you can copy the bookmarklet into your browser's toolbar.
"That's it" (lol this is a pain for functionality that should be out-of-the-box)
If you want to make sure the service is always running, then start it on startup. I do this with a crontab
crontab -e to edit them, then add the line
@reboot sudo -H -u {your user name} {path to this}/run-service &
However note that fiddling with an @reboot crontab is a classic way to boot-cycle / brick your laptop, so proceed with caution.
The libraries that do all the hard work are rmapi and pdfCropMargins, which more or less rock.
security - hideously insecure I imagine. Apart from anything else, there's a shell injection from arxiv titles that would be hilarious to execute.
This software is provided without warranty, implicit or otherwise.