Re: Renaming eglot -- or at least add an alias?

[Robert Weiner]

I am with Lars and Eli.  The name is fine, already widely used and keeping the 
release to schedule is much more important.

-- rsw

> On Oct 2, 2022, at 11:09 AM, Lars Ingebrigtsen <larsi@gnus.org> wrote:
> 
> Manuel Uberti <manuel.uberti@inventati.org> writes:
> 
>> FWIW, because I seem to be in the minority here, I really like the
>> name Eglot.
> 
> I don't think you are -- many people have weighed in saying they like
> the name.  It's just that the people that want a change feel the need to
> talk more, which is natural.
> 
> (Spoiler warning: The name isn't going to change.)
>