chiark / gitweb /
some docs catchup for web interface changes