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

[Eli Zaretskii]

> From: Protesilaos Stavrou <info@protesilaos.com>
> Cc: rgm@gnu.org,  45143@debbugs.gnu.org,  rms@gnu.org
> Date: Thu, 25 Feb 2021 08:04:23 +0200
> 
> Though I think Richard's and Glenn's original point was that the Org
> project uses the ".org" file as its original source in its own git
> repository ("org-manual.org"), whereas it distributes ".texi" with
> emacs.git ("org.texi")---so what is in core Emacs is technically not the
> original source.

Yes.  But in order for us to provide the original source, we need to
make sure the produced Texinfo will be up to our standards and
conventions, which means Org's Texinfo export must support the
standard markups, such as @kbd, @file, etc..