Since this is one “bad” actor and not the case that the entire instance is composed of bad actors, I would prefer banning or blocking over defederating.
Since the intention of the bot seems to be non-malicious, and since the individual has the means, I think it should be left to the individual to decide to block.
Exactly the same game and situation. 😂