That's an interesting conclusion, but
it's up to the servers to decide how to provide the information.
Imagine if a web browser implementor would decide not to support
an HTML tag used by a non-negligible percentage of web pages.
On 24/09/2024 16:26, João Távora wrote:
There is a discussion thread about this in the Eglot GitHub downstream tracker.
https://github.com/joaotavora/eglot/pull/71
The current consensus there is that the feature is not _that_ useful,...