Art: Flag the troll and/or ignore him. I just clicked on the flag and picked _This comment is abuse or harrassment_. In my humble opinion, the more we flag and/or ignore trolls the more likely they are to go away. ... but they can be fun ...