If it’s down for a long time, we can continue developing on the Math library. We’ll just need to do some testing manually. We can discuss what’s necessary if it’s down for an unspecified amount of time.
@lauren went and restarted it and then @bgoodri logged in to check and couldn’t find anything wrong with it, but apparently there are Columbia IT department network shenanigans going on. Will dig in further, but I’d expect this to take a little while.