If you were in any doubt that the fundamental tools of the online troll are now at play in global politics, the last week should have put paid to that.