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