Should we be more ban/mute heavy with trolls?

Prediction market on manifold. @Austin recently recommended that I mute certain trolls on the site and/or on the discord. What's your experience, have they been good for your experience or bad?