Is manual username filtering possible?

This is your problem. Reaction is their motivation, and banning them is the biggest reaction you can give – especially if you spend all day doing it. I would look into shadowbanning them instead. For instance, you could write a custom command that:

  • Changes their username to some neutral value e.g. User023423940
    • There are a few ways to change character display name listed here
    • Change it in the leaderboard as well w/ a custom leaderboard
  • Mutes them, but allows them to continue seeing their messages so they think everyone else does too
  • Is a silent command so they don’t know you’re reacting to them