IIRC, with the Freedom Hosting bust the FBI compromised the Hidden Services server, then used a browser javascript exploit to leak the real IPs of those who connected. So, your quoted text is very plausible.<p>Tor is intended to be anonymous, but not absolutely.