More jedi settings.