Tweak some Jedi keyboard shortcuts