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

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Cc: 45143@debbugs.gnu.org
> Date: Wed, 24 Feb 2021 01:49:29 -0500
> 
>   > I think this is because Org has some problems in supporting some of
>   > the key Texinfo markups, such as @kbd.
> 
> You are surely right that that is why the problem exists,
> but it still needs to be fixed.

Of course, no argument here.  My point is that until the Org's Texinfo
export is fixed so that it produces better Texinfo, these problems
will be inevitable.  The issues described and discussed in that past
thread were not fixed, AFAIK.