Correcting typos, minor grammatical errors, etc. in glossary

... adding missing full-stops, removing extra spaces within sentences,
generic editing really...  These edits shouldn't (and hopefully don't)
change the meaning of the explanations in the text.