HardlightCereal seemed more like a crank than a troll, to me. Cranks are by definition at least somewhat annoying, and tend to get mistaken for and treated as trolls. They're not malicious the way trolls are though, and can be a positive influence. I think them drawing attention to this particular issue was a good thing, at least.