Yeah, maybe the server-manager should just return a list of servers, ids, names, and URLs. But that's probably fine to implement as part of the more sophisticated server management (it's not really a useful feature until you can actually remove/stop servers).