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

[Po Lu]

Robert Weiner <rswgnu@gmail.com> writes:

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

FWIW if the maintainers think Eglot is okay as a name, then I'm fine
with leaving the name as-is.

My problem is searching "language server" in custom gives nothing of
value, while it probably should.