An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project.
Versão de: 23/05/2023. Veja: a última versão.
