I wonder if we should deprecate the `keyEvent` event on Editor and actually send out separate `keydown`/`keypress`/`keyup` events as CM is now doing. We could leave `keyEvent` in for now so we don't break extensions that use it, but just additionally send the separate key events as well, and then remove it further down the road. Do you think this is worth doing?