Simplify example setup in jedi:start-dedicated-server