Re: [tor-dev] Tor metrics: Questionable relays-by-platform accounting