Patch for the kernel label-checking code at end document, to produce an explicit message (albeit a somewhat inscrutable one) for each label that it thinks has changed (and how it has changed). This is useful if you are developing macros that use labels in odd ways.

One of a series of fragments designed for use by package writers and others.

The author is Robin Fairbairns.