[tor-project] integrating Tor in Mozilla and beyond