chiark / gitweb /
doc/: Some minor tweaks and corrections.