chiark / gitweb /
def: lower default timeout to 90s