You should always add as much info as possible as mods probably aren't going to go investigating and they might not be aware of why you consider it trolling, but that's the sort of report I'd probably leave and neither mark good or bad, but there are far worse instance of trolling here that go unreported or unhandled.

I don't think we should get rid of the rule but it's obviously one where it's down to the opinion of the reporter and the mod who handles it. some people do get away with far too much trolling round here though.  


I don't believe there's ever been a dedicated mod of Meta, but any Global or Admin can handle reports there, but the user is a Newbie so any patroller can handles reports against them and maybe that's what happened here.