configured jedi.el