[DeployEnv] Remove HIPPEROS DevEnv from repo download (do it manually).