chiark / gitweb /
Improve installation instructions re git etc.