HTML5 for arXiv JS - An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project. Author Mmhmmmmm Daily installs 0 Total installs 31 Ratings 0 0 0 Created 2023-05-23 Updated 2023-05-23