chiark / gitweb /
Minor edits.