Thanks for the hints! 
To be consistent with other parts of Jenkins, I think we'll still go with the name and getServer(String serverName) approach, so it will be similar to job configuration and the Team View plugin.