Where today, ‘troll’ is almost universally understood as the second of the above quoted definitions — a person solely out to provoke annoyance — I’ve always preferred the first definition. In that sense, a properly constructed troll is something I’ve always respected.