Glenn Morris <rgm@gnu.org> writes:

> Should this all just be reverted?
>
> As it stands, I can't see where the html_node/ versions for the non-main
> manuals are linked anymore, and the (large) html_mono pages are
> duplicated, and pointed to by default.

Hi Glenn,

Have you contacted the GNU web admins?  Do you know why the manual pages
have changed?

Cheers,
Nico