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

From: Stefan Kangas <[email-masked]>
Date: Mon, 15 Mar 2021 21:37:00 -0500

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