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

[Eli Zaretskii]

> 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.