chiark / gitweb /
main: always log when we reexecute or reload