jedi-setup: more notes on setup