[tor-commits] [metrics-tasks/master] Tweak server descriptor verifier (#2768).