list_servers() seems implemented