Hello! I'm currently trying to remove an old server from a multiserver setup and I can't figure out how to do it. I assume it should be related to php -q uninstall.php, but for some reason, this server refuses to be removed. Any guides available?