bugfix: get_servers(): we did not take into account multiple peers in a single server (from domains resolved to multiple IP addresses).