(ITS#5251) getaddrinfo might return duplicate results