UPDATE: The miami server has been rebooted and is now accessible.The miami server has suddenly gone offline. We are investigating.