No cookie, Gerald. I should have caught this permanent redirect (verified with wget among others).
Change applied. Gerald Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.121 diff -u -3 -p -r1.121 style.mhtml --- style.mhtml 13 Aug 2013 00:46:33 -0000 1.121 +++ style.mhtml 27 Aug 2013 20:03:57 -0000 @@ -158,7 +158,7 @@ <a href="<get-var BACKPATH>lists.html">Mailing lists</a><br /> <a href="http://gcc.gnu.org/onlinedocs/gcc/Contributors.html";>Contributors</a><br /> <a href="<get-var BACKPATH>steering.html">Steering Committee</a><br /> - <a href="http://twitter.com/gnutools";> + <a href="https://twitter.com/gnutools";> <img src="<get-var BACKPATH>twitter-bird-light-bgs.png" height="42" width="42" align="middle" alt="@gnutools on Twitter" style="border:0px" />@gnutools</a>
