Removing crashed server from backend

I did search some, read the FAQ… Tried your search, found this hidden among all other posts:

So there’s a reference for future use…