So, maybe it isn’t surprising that CEO Pat Gelsinger is leaving. The announcement was made via press release this morning, ...