chiark / gitweb /
Put time limit back to 5s.