Removing jedi plugin