OK. OK. If a couple of folks indicate this is an issue for them then it's a simple enough fix it could be uploaded during the stretch lifecycle.
- Bug#856307: krb5-user: kinit fails for OTP user when using kdc... Jochen Hein
- Bug#856307: krb5-user: kinit fails for OTP user when usin... Sam Hartman
- Bug#856307: krb5-user: kinit fails for OTP user when ... Jochen Hein
- Bug#856307: krb5-user: kinit fails for OTP user w... Sam Hartman