Gnu.org Is Down

They seem to have quite some problems in the past days, I see lot of connectivity issues continuously - even when it loads, it is very slow.

It's up now.