LeoGlossary: Certified Release