[tor-project] July 2018 report for the metrics team