In case I forgot to mention it, the authoritative documentation now lives in /mit/krb5/doc/api/, it's a bunch of TeX stuff.