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

[Drew Adams]

> > If we have a face Info-quoted then there is no need for the quotes, because
> > the quotes are only text markups which are translated to a face, so the 
> > quoted
> > part is highlighted for the user, there is no point in leaving the markup 
> > there.
> 
> I don't think I agree, but maybe someone else will have an opinion?

I provided an opinion.