The glossary is being gradually proof checked, but currently has many typos and misspellings.
A post-task walkthrough is a knowledge elicitation method. The domain expert is asked to perform a task and then after it is finished they talk about what they did.