Arduino off line

Has anyone here got problems with the Arduino Web site www.arduino.cc currently ???

I think they are moving to a new server at the moment. Have another look at on.