We decided the glossary is "done enough" for our purposes. However, to put a nice bow on it, we should:

• Delete entries that don't really need definitions (e.g. Crystal)
• Insert a placeholder definitions for undefined terms, like: (Definition not written yet), so people know it is intentional