Appears to be back online. I don't know if it was really down, or if there was just some kind of connectivity or DNS problem on my end. My employer's internet connectivity has been somewhat flaky lately.