But that de-anonymization, to date, appears to have been random.
The agency reports no success at unmasking the identity - in response to a specific intelligence or law enforcement demand - of a specific requested Tor user.