Grav plugin to maintain a searchable glossary of terms, and optionally add abbreviations to all pages via Markdown Extra.