chiark / gitweb /
journal: actually set archived files to archived state