Great point!

For example, this Informational RFC is literally a 4 page cookbook on how to use Kerberos in a practical way.

https://datatracker.ietf.org/doc/html/rfc4559