chiark / gitweb /
run: introduce timer support option