lablst-pkg – List names of labels in a document

A derivative of the file lablst.tex (in the LaTeX distribution); embeds itself in \end{document} and prints, below the end of the document itself, a list of labels used.

(Such a package today would use \AtEndDocument from LaTeX 2e, but this package hacks itself in without ceremony.)