@SteveBHolt Great point, about time that such core academic service is transferred back to university libraries where it belongs. For the time being, there’s
https://scholar.archive.org (a charity organisation) which works pleasantly well, and doesn’t play the game of citations and h-index and similar rubbish metrics of academic performance, focusing instead on archiving and ensuring access to the papers.