chiark / gitweb /
typo fixes and updates