Is it a bug if our LaTeX output is different when exporting from the command line, versus exporting from the GUI? That is, are there some cases where we expect them to be different, and if so, are these documented?
Scott
signature.asc
Description: PGP signature
