Subject: Re: What to do?
It wouldn't be an issue if the folks who feel this way just ignore the poster. Its an incredibly useful and civil board for me most of the time. The times when it stops being that is when posters I do not have on ignore reply to those that do. If folks would just stop engaging with the trolls and avoid the temptation to reply to their posts, or better yet, just ignore them, your concern would evaporate.
There is no need for Manlobbi to be more interventionist or to act as a moderator. People just need to use the tools he has already provided.