Re: master ff4de1b: Fix quoting style in Lisp comments

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Cc: dgutov@yandex.ru, eliz@gnu.org, stefan@marxist.se,
>       juri@linkov.net, rudalics@gmx.at, larsi@gnus.org,
>       emacs-devel@gnu.org
> Date: Thu, 16 Sep 2021 20:16:53 -0400
> 
>   > - We declare `...' as the official style.  This matches the historical
>   >   use, so it requires no changes, AFAIK (other than reverting Eli's
>   >   commit, obviously).
> 
> That IS the official style, in Emacs Lisp files, and we should not
> change that.  We should use `...' in comments.

We've decided to change that style.  It makes no sense for a project
to back out its decisions so quickly, when the only reason is that
some people don't like the decision.  They didn't like it when the
decision was made, either (heck, I didn't like it too much as well),
so there's nothing new here that requires to go back.  We are past
that decision point, and many texts were meanwhile written using this
style.

> Text files (whether Text mode or some other mode) are a different
> issue.

No, they aren't.  When I write plain text, I don't want to remember
what file I'm writing it in, and neither should anyone else.

Again, we've had this discussion.  It was a long and painful one, and
we emerged from it with a decision.  If we want to be a functional
project, we should follow our own decisions, even if they are
sometimes unusual or require re-learning some simple stuff.  We have
many examples of such decisions, this is just one of them.  If people
are going to revolt because they disagree with decisions like that,
where will that take us?  E.g., I dislike the decision to remove
facemenu and its useful (for me) key bindings: should I now start a
lobbying thread explaining time and again why that should be reverted?
There's no end to this, and it is not a reasonable way to manage the
project development.

> Still, I think we should make highlighting give correct results for
> files that use `...' as well as for files that use '...'.

That is already so, primarily because we are not going to convert the
quoting style en masse any time soon.  The issue at hand is what to
use for NEW comments and comments that we modify anyway.