I feel like I may be missing something obvious but how do you remove a server that's no longer operating?
Doesn't look like there's a feature for it, so I expect you'll have to contact the admins about it and have to wait for them to get to it.
