+% \changes{0.9}{2010/05/21}{W.~Trevor King. disabled the label macro
+% for typeout.}
+% Some users place |\label| in their chapter argument:
+% \begin{example}
+% \chapter{Bla bla\label{x}}
+% \end{example}
+% rather than after (as recommended by
+% \href{http://en.wikibooks.org/wiki/LaTeX/Labels_and_Cross-referencing#Sections}%
+% {the \LaTeX\ Wikibook} and
+% \href{http://www.ctan.org/tex-archive/info/lshort/english/lshort.pdf}%
+% {The Not So Short Introduction to \LaTeXe\ (section 2.8, p36)}):
+% \begin{example}
+% \chapter{Bla bla}
+% \label{x}
+% \end{example}
+% The embedded |\label| chokes |\typeout| so we temporarily redefine
+% |\label| to just gobble its contents. |\DUT@label| stores the
+% original definition.
+% \begin{macrocode}
+ \let\DUT@label=\label%
+ \renewcommand{\label}[1]{}%