I thought we had all of that renaming business behind us. I was surprised to find so many unintended renames still out there. There probably are more. I will not be suprised if one or two affect usability, but the remainder basically only affect readability and appearance. I wish we were done with them.