chiark / gitweb /
doc: update punctuation

No match.