An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project.
As of 2022-03-03. See the latest version.
