I guess it wasn't really against Trump supporters, but against people causing a restaurant owner to be harassed in real life. Happened to be Trump supporters, but to be honest it could have been any other subreddit; wouldn't have been the first time.