We should provide a glossary that defines JSDoc-specific terms such as "virtual comment," "doclet," and "namepath." Ideally, we would also embed JavaScript in each page that automatically links glossary terms to the glossary.