Davidmanheim comments on Your posts should be on arXiv

[Davidmanheim]

Seconding the .tex export, since it’s much more useful than just getting a pdf!