3 ms·Red Hat CTO unexpectedly quits, amid rumors of executive 'friction'3 points by tanglesome 12y ago