TOPS down

I noticed that TOPS has been missing from the server list for the past few hours, do we know anything about this?