chiark / gitweb /
README.md: More minor docs updates