[mirimir]

True enough. However, I don't believe that anyone has taken down a Tor onion service, except by first identifying the server in meatspace. And that's typically depended on OPSEC failures.

It's true that CMU researchers deanonymized onion services and their users by exploiting the relay early bug, and then produced data to the FBI. However, site owners and users would have been safe if they had protected themselves better. By reaching Tor through nested VPN chains, and by using firewall rules or Whonix to prevent leaks around Tor.