I've looked through the documentation plenty and haven't seen a way to query server population. How is it done?
Separate names with a comma.