I should have been clearer. IBM acquired RedHat in 2020 (https://www.redhat.com/en/about/press-releases/ibm-closes-la...), and it looks like it will be a significant part of their business going forward. It's a really interesting proposition, given IBM's push for open source in enterprise systems (https://www.ibm.com/opensource/).