Sounds like a good definition to me. Better than the widely used "troll", which used to mean a different thing, before being appropriated by the mainstream media. Trolls used to mean people provoking emotional reactions with the intent of disrupting communities and ridiculing their members. And unless Putin is doing this for the laugh...