Comment 6 for bug 369575

I know this isn't a big deal in the larger scheme of things, but it's the difference between being able to use the stock krb5 profile, and having to maintain a custom one. (And remember, the current behavior involves headaches if you have any non-root local users.)

Please bring this up with Sam when you get an opportunity....