src/theory/keylengths mention 3DES. by https://tools.ietf.org/html/rfc8429 3DES is deprecated at least in kerberos. So the text should be updated