Ctrl+^ is no longer translated to a single caret in string building (refs #20)

* Ctrl+^ (30) and Caret+caret (^^) were both translated to a single caret.
  While there might be some reason to keep this behavior for double-caret,
  it is certainly pointless for Ctrl+^.
* That gives you an easy way to insert Ctrl+^ (code 30) into documents with <I>.
  Perviously, you either had to insert a double-caret, typing 4 carets in a row,
  or you had to use <EI> or 30I$.
* The special handling of double-caret could perhaps be abolished altogether,
  as we also have ^Q^ to escape plain carets.
  The double-caret syntax is very archaic from the time that there was no proper
  ^Q as far as I recall correctly.

0 files changed, 0 insertions, 0 deletions