chiark / gitweb /
typo and language fixes; key replacement more detailed