chiark / gitweb /
execute: use a much lower idle timeout that default time