People who spend an average amount of time on the internet will probably have come across the phrase “Don’t feed the troll”.