@tbernard
My guess is they were having some issues earlier today. I was not getting anything — just timeouts — from gnu.org earlier in the day, and for quite some time before it got revived.