… is leaving CNN. No details yet on where he’s going.