chiark / gitweb /
journal: skipping of exhausted journal files is bad if direction changed