Remove Jedi plugin