4 ms·

Thanks, that looks useful. But org-mode's built in "org-latex-export-to-pdf" worked well enough for me so far.