thats about spies submitting bug reports for vulnerabilities in tor not people taking it down.
Yes I know. It's also evidence that they are active on the Dark Web. After all it was them that created the Tor browser in the fist place. As so much illegality takes place on the Dark Web, your assumption intelligence services like GCHQ and the NSA don't care about it is laughable and ignorant.