Text this: Tight complexity analysis of population protocols with cover times — The ZebraNet example.