LaTeX.org

Well, I don't know a real solution to this problem, but maybe some workarounds ;)

A belated thanks! I'm afraid this doesn't really help, except in confirming that i'm not missing the obvious :-(

I don't need a German keyboard, but indeed there are any number of other applications one can use. I ...

I have enabled the "automatic replacement of quotation marks", and I don't want to disable it; but how do I insert a REAL double quote? I need them now and then, e.g., for an umlaut \" or to enclose a BibTeX string; but once replacement is enabled, the " key will always give me `` or '' no matter ...