chiark / gitweb /
Wait a bit long for subprocesses to clear off.