7.88: added $pool->lookup_server_mask() to find server(s) by wildcard.