Browser extension to edit any arxiv.org paper directly on overleafgithub.com/amitness2 pointsamitness3 years ago