chiark / gitweb /
peerdb/peers.in, svc/connect.8.in: Tweak dead-peer-detection parameters.