Currently if a state name is highlighted and "Rename Element" is invoked, a warning comes up saying, "Renaming element will break existing cross-reference." It would be nice if the renaming resulted in the cross-referenced elements being renamed as well.
