On Wed, May 17, 2023 at 3:06 PM Philip Kaludercic <philipk@posteo.net>
wrote:
>
> João Távora <joaotavora@gmail.com> writes:
>
> > FWIW i agree with you on all points.
> >
> > It's important for packages to be allowed to keep the names the
developers
> > baptized them with.
>
> Important in what sense?

In just the sense Susam described.  My message simply intended to support
Susam's view.

> There have frequently been authors that have
> changed the names of their packages when this was suggested to them, so
> it doesn't like it was important for them.

I don't see the relevance. Susam doesn't want to and IMO it's perfectly
legitimate.

> People are making a bigger
> deal out of quirky names than it should be.

Precisely my point, so let's stop insisting that authors change the names
of their creations.