I havent done and I don't do bans on request and unbans on request. Bans on request is pretty close to what we detest 😉
I don't think banning someone will change the whole network. Imo nostr is much bigger than each of us individuals.
I am hoping the spam filter script does well for a long time until I have to intervene. I don't want to do that in the short term.