Hey. 

Sometime post 2010-12-31 I have lost access to gcc.gnu.org. Can
somebody check and tell me what's up? 

Here are my keys. They haven't changed.

-benjamin