That's not a troll. And that's not harassment. That's a stalker. I'm shocked Twitter did nothing about this kind of repeated targeted abuse. And I'm very surprised that the police did nothing for someone who was receiving death threats at his front door.