More complete kerberos, from current.html