chiark / gitweb /
better progress indication