chiark / gitweb /
Improve docs a bit