krb5-admin-server: link-to-undocumented-manpage
