Cc: Eli Zaretskii<eliz@gnu.org>, Stefan Kangas<stefan@marxist.se>,
juri@linkov.net,rudalics@gmx.at,larsi@gnus.org,emacs-devel@gnu.org
From: Dmitry Gutov<dgutov@yandex.ru>
Date: Thu, 16 Sep 2021 13:50:32 +0300
- We declare something else as the official style. I personally have
grown fond of (a subset of) Markdown, so I'd vote for `...` (and
encourage extending this to a few more conventions, e.g. so we can
distinguish code from prose in comments), but (a subset of) Org style
would also make a lot of sense.
`...` is fine with me, or anything else that looks like markup ('...'
will result in more annoying false positives). But it will result in a
lot more work across the board.
Quoting `like this` flies in the face of the main reason why we moved
from `..'. If `..` is okay, we might as well go back to the original
`..'. I do wonder, though, where were these arguments back when
someone, I think Paul Eggert, said that ` looks ugly on modern
terminals, which triggered a lot of changes, in addition to this one.
Was all that in vain?