chiark / gitweb /
def: lower exit-on-idle time