Subject: RE: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs

From: scame <[email-masked]>
Date: Thu, 04 Mar 2021 18:40:13 +0000

>
> No. Please do not do this.
>
> 1.  Users can turn off such highlighting. They still need
>     to be able to easily see such things. The things need
>     to stand out.

I meant it could be done with a face, so obviously a face
can be customized.

>
> 2.  Users need to be able to search for such things, and
>     one way to do that is to include the quotes, whether
>     with a regexp or a plain-text pattern.

If we consider Help buffers they usually not that large
that you have to search for symbols in them.

Check out this Help window. It is more tidy and readable
without the unnecessary quotes:

https://i.imgur.com/xiHv8lr.png