Hi,
Ron Peterson wrote:
> That already happened. There has only been one official name for some
> time now, but people still continue using an unofficial name that they
> like better. How would switching the official name change this?
Huh? That seems obvious: switching to the easier name means adopting
what people generally seem to like better. So that nobody must
abbreviate the name anymore, because it's short and simple enough.
Regards
Markus