I'd rather we name the one we want to keep as the pretty name and make the one we're about to delete ugly. Then we don't have to clean up in two places, just one.