chiark / gitweb /
some more notes