- servernames are case-insensitive