Improved the docs -- more glossary entries, more advice for writing docs