Hi - Thanks to help from Lisa Marie Maginnis <li...@fsf.org>, we now have a valid ssl/tls certificate for gcc.gnu.org, so the web server now makes https://gcc.gnu.org/* files available. Please let me/overseers know if you see any problems.
One complication is the use of literal <link ref="http://gcc.gnu.org/FOO";...> type data inside many of the web pages, including the front page. These should be switched to something like <link ref="/FOO"> to make them work both with http and https. - FChE
