Folks,

There is something I wanted to ask about the Ctrl vs. Alt preference on
Windows now that Ned's change is in (btw, Ned that was a pretty piece of
work). Is there any general feeling of what the default should be?!
E.g., we *do* have the ability to set per-platform preferences on
startup and if there's a general opinion to have the editing keys use
Ctrl instead of Alt I'd be willing to make the change (although I will
switch back almost instantly - I tried it for about half an hour and it
drove me insane that Ctrl-C is copy but Alt-S is save and that Ctrl-F is
ifFalse and Alt-F is find...).

Cheers,
  - Andreas