For a leader so comfortable in the mayhem of social media, the executive order, with all its trappings of officialdom, is an oddly retro format. But it’s a revealing one. What Twitter was for Trump’s ...