I'm sorry, the whole problem appears to have been on the server side (all of www.gnu.org was also dead). Fixed now, it seems. (I have no idea what happened.)
Sorry, k
I'm sorry, the whole problem appears to have been on the server side (all of www.gnu.org was also dead). Fixed now, it seems. (I have no idea what happened.)
Sorry, k