[tptacek]

The bug that breaks Tor for a hostile government is not going to be disclosed in an indictment or in unsealed court proceedings.

[chernevik]

But whatever they used to find him may be discoverable. Even if they had such tech, they might still have foregone it here to keep it out of discovery.

They might have other teams using it for intelligence rather than case-building. If they sequestered those from the teams building evidence that usage might not be discoverable.