we're gonna submit the .tex file so I may as well include it
strange to be submitting what is actually just a random intermediate format in our workflow, but here we go