Delete HyperSpecGlossary.lisp