Code

- change cmdline option to --export-latex.