[Opinions] Did you miss the part where ignoring the trolls is one of Mike's rules? (m)
Furthermore, did you miss the part where I used to be a mod and know how this site works? And did you miss the majority of the past five years in which the board has been self-managing? And did you miss all the other times when long-term posters have made similar requests for people to ignore trolls?
Oh, yes, you probably DID miss it. Nevermind.