bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs

[Dmitry Gutov]

On 16.03.2021 05:36, Eli Zaretskii wrote:
> > From: Stefan Kangas <stefan@marxist.se>
> > Date: Mon, 15 Mar 2021 21:37:00 -0500
> > Cc: laszlomail@protonmail.com, 46926@debbugs.gnu.org, larsi@gnus.org,
> >         rms@gnu.org
> >
> > Dmitry Gutov <dgutov@yandex.ru> writes:
> >
> > > We add the option, announce it, and in 2-4 weeks ask people for their
> > > opinion based on their experience with the changed UI.
> >
> > Sounds good to me.
> >
> > IOW, it would follow a similar procedure to the one we used for "M-o".
>
> I hope not, because we are at an impasse there now.

The procedure would be a bit different, obviously.

But speaking of 'M-o', even if we end up reverting the change because we 
receive enough evidence of the change being problematic, that wouldn't 
characterize the approach as bad. It would just reach one of its 
possible conclusions, as any good scientific experiment should.

What could reflect on the approach poorly, is if, for example, we follow 
it, then keep the change because nobody brings up significant problems, 
and then, after Emacs 28 is released, we find out about some big 
breakage caused by the change.