Suggest faster ping in `PeerManager::timer_tick_occurred` docs