chiark / gitweb /
Small typo fixes and clarifications/rewordings suggested by Karl Goetz. Closes: ...