> Well, what do you suggest? Add to metrics-tasks or not? Personally I don't think it would be worthwhile, but if you'd like to then the script is on the ticket. _______________________________________________ tor-dev mailing list tor-dev@xxxxxxxxxxxxxxxxxxxx https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev