The timeline of events will be fascinating to look as information drips out over time. In May, the Tor Project went from the FBI is harassing our developers, to Appelbaum is a rapist. Tor is showing it's age though, the 2013 botnet showed that Tor was less than optimal in it's design https://trac.torproject.org/projects/tor/ticket/9683 Of course making Tor more like nginx or Caddy would require a total rewrite, worker processes have the advantage of parallelization of crypto. One cannot expect their browser to be secure if it renders javascript, graphics, or media. QUIC uses the minimum of public headers and does not retransmit the same packet number, would allow for a packet switched design. Of course, the cheapest way to defeat Tor would be to DDOS it. How much would it cost to have several thousand of VPSes connect to each other over Tor and download /dev/zero/ to /dev/null/? Sometimes the best route is passivism.