Manually tested fixes for the jedi:server-args issue.
This could do with some unittests...