Editorial: Twitter cuts off the CIA. But selling data to Vladimir Putin? That’s fine.