We have a few AD servers that I'd like ExternalAuth to try (in case one is down). What would the format be for the 'server' string to refer to multiple LDAP servers, or is the correct way to set up multiple complete LDAP sections under $ExternalSettings?