const PEER_REPEATERS_PAGE_TIMEOUT: Duration;
How long one page may take before the tool gives up on it.