chiark / gitweb /
Filled in some gaps in the writeup.