Shouldn't we have a language "ignore" or "unknown"? I think this is a must in a lot of situations.
Incidentally, we could then put ERT text automatically in that language and automatically solve the spellcheck-ert problem. Of course, alternatively, I can reintroduce the bool InsetOld::allowSpellCheck() flag and use that to skip ERT. What's better? Alfredo
