chiark / gitweb /
doc: typographical fine tuning