Merge translations
Merge pending translations from Weblate. Includes some trivial changes to the glossaries that Weblate made automatically.
Merge pending translations from Weblate. Includes some trivial changes to the glossaries that Weblate made automatically.