Review and refine the Kerberos auth implementation started by Devin. The current implementation passes the spec tests and has passed a live end-to-end test, so this process should likely focus on just refining and simplifying the code rather than rewriting it entirely.