Note that I need to fix a keybinding issue with Jedi