slightly improved key-bindings to support (in a first instance) Ctrl+Backspace