Benefits of using Sphinx documentation format

[Eli Zaretskii]

> From: Jonathan Wakely <jwakely.gcc@gmail.com>
> Date: Mon, 12 Jul 2021 18:15:26 +0100
> Cc: Matthias Kretz <m.kretz@gsi.de>, "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
> 
> > Gavin Smith, the GNU Texinfo maintainer, responded in detail to that
> > list.  However, his message didn't get through to the list, for some
> > reason.
> 
> It did:
> https://gcc.gnu.org/pipermail/gcc/2021-July/236744.html
> https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574987.html

That's not the message I was talking about.  Gavin sent another, which
didn't get posted.