Thankfully, the existing AllServers map is not exported, so we can ensure that all the changes are only local to this file. This also fixes a bug if renameServer was called with the same name. (Probably calling code checked that case already.)