Add definitions to Glossary & fix filename extension