chiark / gitweb /
accumulated clarifications and corrections