Fix typo (present in printed book as well).
Rename some files to have more obvious names.
Fix formatting of some glossary entries.