chiark / gitweb /
Typos, comments, etc.