Trump says he’s done with Twitter. That’s hard to believe. (Vox)