chiark / gitweb /
journal: add color to verification progress bar