Manual formatting improvements:
* Hide the glossary table of contents: just show the alphabet
* Don't use hanging indent for glossary entries
* Cross-ref link to license now works