glossary.html: restored glossary page