Some mailing list context for this change is at http://mailman.mit.edu/pipermail/krbdev/2015- March/012321.html