bug#45143: Incorrect markup in some doc/misc manuals

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Date: Sun, 21 Feb 2021 01:15:25 -0500
> Cc: 45143@debbugs.gnu.org
> 
> Theis problem is in doc/misc/modus-themes.texi,
> but I suspect that doc/misc/org.texi has it too.
> 
> The problem is that the file uses the wrong Texinfo markup in some
> places.  I suspect that the source markup language, from which this
> Texinfo text is generated, doesn't have the ability to make all the
> distinctions Texinfo needs.

I think this is because Org has some problems in supporting some of
the key Texinfo markups, such as @kbd.  This was discussed 3 years
ago, in this thread:

  https://lists.gnu.org/archive/html/emacs-devel/2018-03/msg00166.html

I don't know if Org's support for Texinfo became better since then.