Thanks Luc, both of your patches are looking pretty nice, but I currently have trouble managing them. Might I ask you to push them directly to a github branch? Just tell me your github user ID, and I can give you commit access.
Also there's currently a tweak-latex branch on github, which you're very welcome to comment on, and maybe join in there. I currently get two streams of good contributions (from you, and Nikolai Prokoschenko on that branch, whom I've put CC'), and I'm currently over-worked and under-skilled to chose between them, or merge them. So it would be really great if you could join forces. One more thing: currently even in verbatim code, quotes are converted to "fancy" left/right code, which breaks copy&pasting code (and is simply wrong even in the print version). Does anybody happen to know how to suppress that, and emit simple ASCII quotes? Cheers, Moritz