chiark / gitweb /
docs: Improve docs.