Though I am not fully subscribed to the internet school of ”just ignore the trolls”, I think they should all be countered once or twice before being added to a blocklist. That way other people see that those trolls are not welcome and that voices are being raised against them.