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?