Generate LaTeX output. Nearly back to where we were a few weeks ago, then. :-)