I'm not sure I've seen every post about this subject, but at first glance, especially with everything Bob has been doing for years, like he's such a good chess man, why would we consider some minor naming change that would make him feel disrespected? I don't get our prioritizations sometimes. Please let's keep Bob happy!