change jedi shortcut names with upstream changes