chiark / gitweb /
doc: typographical improvements and choice of words