Call it a high-tech lynching. In the wake of Donald Trump’s being shut out in Colorado — final delegate count: Ted Cruz, 34; Trump, 0 — his fans have formed virtual mobs, and on Sunday a particularly passionate Twitter user tweeted out the home address and phone number of Steve House, chairman of the Colorado GOP. House’s personal information has been retweeted more than 1,100 times. He says he’s received some 3,000 phone calls, most of them uncomplimentary: Meanwhile, the same Trump partisan also tweeted information for the state’s national committeewoman, Lily Nuñez, and committeeman, George Leing. Of course, the...