Re: [tor-project] Metrics meeting notes, 31st October 2019