chiark / gitweb /
Various tidyings.