Re: [tor-project] August 2017 report for the metrics team