An extension that makes html5 source available in arxiv.org based on the amazing ar5iv project.
Fra 03.03.2022. Se den seneste versjonen.
