Re: [tor-dev] Building a privacy-preserving "contact tracing" app