I nearly missed those: there were two reference to gcc.gnu.org via http in cgi-bin.
Applied. Gerald Index: cgi-bin/cvsweb.conf =================================================================== RCS file: /cvs/gcc/wwwdocs/cgi-bin/cvsweb.conf,v retrieving revision 1.7 diff -u -r1.7 cvsweb.conf --- cgi-bin/cvsweb.conf 12 Jul 2003 12:02:51 -0000 1.7 +++ cgi-bin/cvsweb.conf 8 Jul 2014 22:45:30 -0000 @@ -90,7 +90,7 @@ $long_intro = " This is a WWW interface to CVS repositories on the -<a href=\"http://gcc.gnu.org/\"><code>gcc.gnu.org</code></a> +<a href=\"https://gcc.gnu.org/\"><code>gcc.gnu.org</code></a> web site. <p> If you would like to use this CGI script on your own web server and Index: cgi-bin/htsearch =================================================================== RCS file: /cvs/gcc/wwwdocs/cgi-bin/htsearch,v retrieving revision 1.10 diff -u -r1.10 htsearch --- cgi-bin/htsearch 31 Mar 2006 17:08:06 -0000 1.10 +++ cgi-bin/htsearch 8 Jul 2014 22:45:30 -0000 @@ -30,6 +30,6 @@ print FOO $cmd, "\n"; -print $nq->redirect("http://gcc.gnu.org/cgi-bin/search.cgi" . $cmd); +print $nq->redirect("https://gcc.gnu.org/cgi-bin/search.cgi" . $cmd); exit 0; exec '/www/cgi-bin/search.cgi', $cmd;