Re: [SSSD] [PATCH] MAN: clarify which shell option takes precedence