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

[Eli Zaretskii <eliz@gnu.org>]

> From: Protesilaos Stavrou <info@protesilaos.com>
> Date: Wed, 24 Feb 2021 09:38:23 +0200
> Cc: rgm@gnu.org, 45143@debbugs.gnu.org, Richard Stallman <rms@gnu.org>
> 
> After reading through the discussion[1] on using Org for Emacs manuals,
> I have managed to make some changes to the modus-themes.org file which
> generates modus-themes.texi.
> 
> You can inspect the source code with:
> 
>     git clone https://gitlab.com/protesilaos/modus-themes.git
> 
> Documentation is stored in the repo's "doc" directory.
> 
> The changes pertain to the appropriate use of Texinfo markup such as
> 'kbd', 'code', and 'file'.  Furthermore, the modus-themes.texi file is
> now distributed as part of the source code, whereas before I was only
> sharing the modus-themes.org and its derived modus-themes.info.
> 
> Those improvements will be made available for the forthcoming version
> 1.2.0 of the Modus themes (expected within the next few days).  Core
> Emacs currently ships with the themes' 0.13.0 version, which will soon
> be three releases behind.

Thanks, but please also submit those improvements to Org's Texinfo
export to the Org developers, so that other manuals written in org
could also benefit from this improved Texinfo support.