[tor-commits] [metrics-tasks/master] Avoid downloading server descriptor tarballs in #2394.