krb5-user: link-to-undocumented-manpage
krb5-user: setuid-binary
