Fighting abuse in a community should be the duty of everyone, especially for a community that wishes to build a solid reputation and integrity to the masses. It is important that we all watch each other's back lest the community be made mean.
However on the current issue detected. @Crypto.Piotr should see a way to either give a caution to the affected user which could be muted for a while. I hope the said user desists from such. Just my suggestion.