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

[scame]

>
> As one user, I do sometimes search Help buffers.
> Consider `C-h m', with multiple minor modes on.
> `C-s' is a quick way to get around (as is `TAB').

Yes, but you don't usually search for `, do you? Because
in my experience it's trivial to find things in Help
without having to type a quote.

Anyway, there can be an option to display the quotes if one
likes that better.

>
> No improvement, IMO. No tidier, no more readable.
> But different people have different preferences.

Well, Lars in this thread thinks it's better, so it's not just me.

But naturally there should be an option for it if one prefers
the old look.