As Mark Eichin pointed out, man pages for krb524d and krb524init were
written for kerbnet.  We could probably just use them...