[SSSD] Re: Design document: Multiple server addresses or names in kdcinfo files