HTML papers on arXiv -- why it is important, and how we made it happen | Synapse