This would not surprise me at all. 
Quick side story: I once chatted with (self proclaimed) FBI agent at a Bitcoin conference in Austin and they had quite a lot of questions to which I was "no comment". 
I think they insert one into every community and give them list of questions to assess how "extremist" the community is...

nostr:nevent1qqsr437kejwnwdx2trygz60z43t8ru84e6wp0tk5shrh9cjaw9zcfjgpr3mhxue69uhkummnw3ezucnfw33k76twv4ezuum0vd5kzmqzypgdjn7zmpvqc6ptqud9gtutrcc6yq9s2z96h9dr80hss4wl9qwkxqcyqqqqqqg9ujz5r 

 You don't have to think this. There are line item budgets for this.