Regex-escape the server name, in case it needs it, and add a test to ensure that this has been done