I should have been clearer. IBM acquired RedHat in 2020 (https://www.redhat.com/en/about/press-releases/ibm-closes-landmark-acquisition-red-hat-34-billion-defin

I should have been clearer. IBM acquired RedHat in 2020 (https://www.redhat.com/en/about/press-releases/ibm-closes-landmark-acquisition-red-hat-34-billion-defines-open-hybrid-cloud-future 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/ https://www.ibm.com/opensource/).