Hm, interesting. Wouldn't report be better than mute if you're sure they're bots?
Discussion
I'm not sure what happens with reports, I've just been muting them all. There's no centralized authority in Nostr so what exactly does reporting do? I would love a Nostr FAQ for stuff like this, just don't know where or if one exists.