chiark / gitweb /
Docs: Various fixes and minor clarifications