chiark / gitweb /
[PATCH] update the README in a few places.