How troubling is it that Tor Project hasn't revealed an attack vector yet (maybe they don't know)?<p>The source message indicates that they don't think the hackers knew that they had compromised Tor servers. How likely is that?