All this drama spawns a few interesting questions:
* How should Open Source Projects deal with internal drama?
* Should people who have a history of working with governments be shunned by the infosec community?
While I have no input on the first one, I can't help but notice that the connection between tor and the US government is already so strong (funding, the lead developer "arma" being a former NSA intern) that "undermining tor" would be pointless.