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

From: scame <[email-masked]>
Date: Tue, 16 Mar 2021 15:49:08 +0000

>
> Simply saying "let's make it opt-in" closes the door on the discussion
> of the subsequent change of the default, which is often what reporters
> care about in discussions like this.

The UI pro agreed that not showing the quotes is better for the user.

How about hiding the quotes by default, but adding an option to restore
them if one prefers that?