chiark / gitweb /
doc/: Miscellaneous clarifications and rewordings.