While I think I agree we shouldn 't just defederate them. This is for a user to block them. And if you tell users how they can block them, it will maybe take a bit of pressure away from admins to do it.

During the first wave of Twitter refugees , there was a lot of explaining about ignoring and blocking users. Which can never hurt IMHO. Certainly because it can decrease the load on the volunteers that run an instance