On Fri, 27 Jan 2023, Arsen Arsenoviæ via Gcc-patches wrote:
>  htdocs/texinfo-manuals.css | 129 +++++++++++++++++++++++++++++++++++++

Thank you - I pushed this.

+/* Texinfo documentation stylesheet.
+   Inspired by the Gnulib manual, 2023-01-26.
+
+   Arsen Arsenoviæ <arsen@aarsen.me>

Can we rephrase this a bit? Something like "Contributed by" maybe, or 
omitting the name (as we usually do - since I made sure it's in Git)?

Gerald