Я всё же за разделение терминов. Ирония - не суть издевательства и провокации. У термина есть совершенно конкретное значение, и оно не может иметь позитивных коннотаций. Само слово образованно от английского to troll - тянуть за удочку, вести добычу, когда рыба заглотила наживку. Это формирование стрессовой ситуации, процесс развода на эмоции с последующим планомерным, целенаправленным доведением человека до срыва, истерики.