It appears to be back online as of 8:30AM PT. I saw it down an hour ago or so, but seems to be operating as usual again now.
That was quicker than I had expected, though I thought they'd probably find a way to avert even a temporary shutdown to begin with.