Re: Change the name

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