document the find_all_servers function