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

From: Eli Zaretskii <[email-masked]>
Date: Tue, 16 Mar 2021 05:36:12 +0200

> From: Stefan Kangas <[email-masked]>
> Date: Mon, 15 Mar 2021 21:37:00 -0500
> Cc: [email-masked], [email-masked], [email-masked], 
> 	[email-masked]
> 
> Dmitry Gutov <[email-masked]> 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.