Jedi related options to vimrc