chiark / gitweb /
Update the progressbar to look better.