chiark / gitweb /
Split brain: Improve and rationalise progress messages