Ashamed to admit that until this week, I ’d never really thought about the origins of this name. This seems like a pretty straightforward argument, though, and I can’t think of any compelling reason not to change the name.