Actually cannot do that rename: a version has been already released with those names, trolololol.