HTML5 for arXiv JS - An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project. Author AnCoSONG Daily installs 0 Total installs 194 Ratings 1 0 0 Created 2022-03-03 Updated 2022-03-03