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

From: Richard Stallman <[email-masked]>
Date: Sat, 13 Mar 2021 00:50:52 -0500

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > The point of `quotes' is to make these symbols stand out in comparison
  > to the surrounding text.

The purpose of quotes in Texinfo output is to make semantic
distinctions.  In other words, to show what kind of role that text
plays in the program being documented.

Texinfo has many constructs for semantic markup.  Some of these constructs
display quotes, in some output formats, to distinguish them from other
constructs.

Since those distinctions are important to help users understand the
documentation, changes in the design of these distinctions ought to
be made by Texinfo experts as part of the Texinfo package.  Please
don't change them elsewhere (for instance, in Emacs).

-- 
Dr Richard Stallman
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)