we have it, we can start thinking of patching the main part of the docs
to make reference to it by using <glossterm> in key spots. Right now
the glossary links to itself, but it makes lots of sense to have other
places point to it.

I have some ideas about how to patch the main docs, but will leave those to a separate thread.

* I commented out the definition of "sequence", which seemed to go into
excessive detail. Let's have a more concise definition?

That one's my fault.

Patches for these omissions, and other contributions, welcome.

Thanks for all your work on this!