Use ping history for public servers to increase efficiency.