Red Hat saved IBM’s bacon this quarter techcrunch.com/2023/07/2…