Re: krb5 documentation