4 ms·

And now it's back up. Impressively short amount of downtime (<10 minutes), and it was amazing to see how quickly twitter picked up on it.