The US Department of Homeland Security operated a program that sought to automate the designation of social media users as “pro-terrorist” based on th[……] ....