Add: Add some settings for `Jedi`.