Texinfo 7.0 changed the name of HTML output directory

[Eli Zaretskii]

Texinfo 7.0 changed the name of the directory where texi2any outputs
split-HTML files for a manual:

  7.0 (7 November 2022)
  * texi2any
  [...]
   . HTML output:
       . use manual_name_html as output directory for split HTML instead of
         manual_name or manual_name.html

This broke cross-manual references in the Emacs manuals as they are
accessible here:

   https://www.gnu.org/software/emacs/manual/

See https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72761.

For example, if you go to the above URL, click on "Eglot" and select
the "one web page per node" variant, you end up here:

  https://www.gnu.org/software/emacs/manual/html_node/eglot/index.html

and references to other manuals now fail because the directory
structure of Emacs manuals under manual/html_node/ has subdirectories
named by the old convention: "manual_name", not "manual_name_html".

Worse, the directory structure of the Emacs manuals is actually a CVS
tree, because all the Emacs manuals that are regenerated for each new
release of Emacs are checked into CVS in the
cvs.savannah.gnu.org:/web/emacs repository, and from there are posted
on the GNU documentation site by the FSF infrastructure.  So now we
need either to rename all the subdirectories in CVS (and risk losing
the VCS history), or write a script that modifies the cross-manual
references to omit the "_html" suffix.

This is exactly the kind of backward-incompatible change that should
have never been done, because it breaks on-line manuals that are
regenerated for new releases, and the problem is a nuisance to fix if
the manuals are hosted in VCS repositories, because a typical VCS has
at best very weak support for renaming files, and at worst simply
loses all history before the rename.

I guess it's too late to lobby for reverting that change?