The military and intelligence needs use of Tor to be functioning and anonymous more than they need hidden services to be functioning and anonymous. The unknown "investigation" technique in this article is about deanonymizing hidden services, not individual Tor users (at least not directly, they used the discovery of the hidden services to send an exploit which has been publicly identified to individual users).