remove Jedi plugin from repository