Thanks for all your response!
> It works correctly in headlines, but not in running text. I think [fn:1]I've tested and applied your patch -- thanks for the fix!
> that it is a bug and that the following patch fixes it:
The only problematic situation I can think of is if someone gives this
as an example:
"C:\Program File\"
... where the string `\"' will not be properly exported; quite a
borderline case I'd say.
Best,
--
Bastien