Make emacs font-locking work better in the misc section of DESCRIPTION.
Document the -name option to \HOLtm and \HOLthm in the LaTeX munger.
Index overloading a smidgeon better in the DESCRIPTION.