remove Jedi plugin