Wouldn't there be a rule on greenlight saying that you can't make games with "official" titles? I don't see why valve would let a game with the package name of "Half Life 3" through, I don't know how greenlight works but wouldn't you also be able to search it on greenlight?