Some tidying post-unicode-merge: typos, tense, simplification, filling.
Attach a file by drag & drop or click to upload
