This glossary has moved to https://ceos-org.github.io/eo-glossary/.