I'm not sure if I should be glad that someone exposed a problem with tor and that the government could be exploiting it already, or if I should be sad that someone just showed the government how to do it.