chiark / gitweb /
Clarified a couple of issues