I.e. the one we have SSH access to through Vagrant and hence what run_vagrant_ssh() targets -- the moved code would fail for other domains!