chiark / gitweb /
final tidyings for 1.0.5