Hi everyone,

I recently pulled from master and noticed that an option in the LaTeX
export backend that I rely on had gotten lost in the shuffle.  (I didn't
check the history, but I believe it must have been removed accidentally,
since the code that checks this option is still there.)  Here is a patch
to re-introduce it.

Thanks!

Best,
Richard