Re: [tor-project] May 2018 report for the metrics team