A terminology / dictionary add-on for Docusaurus