Minor fix to JS, rm old glossary html file