Did this Tor developer become a victim of NSA's laptop interception program?