I've now pushed this wwwdocs patch, which Gerald approved at
https://gcc.gnu.org/pipermail/gcc-patches/2021-June/572796.html
commit 0e4db42cddd88d2cc6780da884021284a10b9a4b
Author: Jonathan Wakely <jwak...@redhat.com>
Date: Tue Jul 27 16:04:42 2021 +0100
Remove FSF attribution from HTML page titles
diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 677fd05a..1f7139eb 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -32,12 +32,12 @@
</verbatim>
</define-container>
-;;; Redefine the <title> tag to comply with the GNU style.
+;;; Redefine the <title> tag to mention the GNU project.
<define-container title>
<verbatim><title></verbatim>
%body
-<verbatim>- GNU Project - Free Software Foundation (FSF)</title></verbatim>
+<verbatim>- GNU Project</title></verbatim>
</define-container>
;;; Redefine the <body> tag, adding navigation and a standard footer.
