Server names are uniquified.