Resurrecting this workflow was one of the funniest things in implementing TikZJax.