The TPU server will be unavailable from 12:30pm for up to two hours while new network hardware is installed. Sorry for any inconvenience.

UPDATE: All done. It went faster than I thought.

Please let me know if you notice any new problems or unusual changes.