usage: list all servers.
repository is now in version 7!