chiark / gitweb /
docs: Minor fix to README