Re: key-bindings for 'undo