Glad you posted this. They mentioned this incident in a segment they did on Last Week Tonight. The police are completely ill-equipped to deal with online harassment, even if they could determine the identity of the attacker, which they likely rarely can.