chiark / gitweb /
documentation: typo suggestions from Paul Hardy