The new name is used.  The old name is gone.  I can just drop the comment.