We do ignore him, we block him, we repot abuse. He doesn't stop. The worst is he reported abuse, and some members were blocked. Then they were unblocked, of course, but it was very unpleasant.

You have two options. Ignore or report abuse again.

If you report abuse probably he would have new nickname. On the other hand, if you ignore him, he could stop.

Best wishes!