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

[Eli Zaretskii]

> From: Richard Stallman <rms@gnu.org>
> Cc: 45143@debbugs.gnu.org
> Date: Sat, 27 Feb 2021 11:14:39 -0500
> 
>   > He fixed them by installing local changes to Org's export as part of
>   > hist manual source in Org.  I suggested that he submits those changes
>   > to Org developers, with the goal of making the official Org Texinfo
>   > export support @kbd etc., and this bring it closer to the goal of
>   > producing higher-quality Texinfo.
> 
> It looks like good progress.  I will continue talking with him about
> it.

Meanwhile Glenn installed changes that produce Info from Org directly,
so I think another large part of the problem is fixed.