chiark / gitweb /
Variuos bits of documentation improvement. In particular preferences