Merge "docs: fix a typo in the glossary" into integration