chiark / gitweb /
Diagnostics and progress improvements.