[leephillips]

By “The HTML generated by LaTeX” do you mean by latexml (the tool used, I think, by arxiv) or something else?