Miami server

UPDATE: The miami server was rebooted and is accessible now.

The miami server has suddenly dropped offline. We are investigating.