chiark / gitweb /
timer: name the stamp file consistently