remove jedi linter for now, as too unstable