BTW, this visit isn't a special or unique thing. The Feds periodically stop by, asking about traffic that came through Noisetor. There's even a procedure in place for handling the situation:

https://www.noisebridge.net/wiki/Noisebridge_Tor/FBI