This paper was written in PreTeXt, converted to LaTeX, and then the LaTeX
was uploaded to arXiv. That went fine. As far as I know, it is the only paper
on arXiv that was written in PreTeXt.
But the ar5iv conversion failed.
If there is something that should change to the LaTeX output by PreTeXt,
I can look into that.
This paper was written in PreTeXt, converted to LaTeX, and then the LaTeX was uploaded to arXiv. That went fine. As far as I know, it is the only paper on arXiv that was written in PreTeXt.
But the ar5iv conversion failed.
If there is something that should change to the LaTeX output by PreTeXt, I can look into that.