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

From: Stefan Kangas <[email-masked]>
Date: Mon, 15 Mar 2021 22:51:47 -0500

Eli Zaretskii <[email-masked]> writes:

> I hope not, because we are at an impasse there now.

FWIW, I don't see any impasse.  The experiment was successfully carried out, and
has allowed us to gather feedback on which to base a final decision.