> what are the chances this could be written with a Lua callback? I've thought about replacing all "---" by an em-dash and all "--" by an en-dash with a "process_input_buffer" callback. But this won't work. See this example:
\begin{luacode}
-- a lua comment would be replaced too!
\end{luacode}
So a solution would be more complicated, I assume.
Patrick
