Man pages matching name krb5_userok in section 3: