Fix jedi:server-args example advanced setting