Rename: s/jedi:make-env/jedi:install-server/g