There are still some who have difficulty appreciating that the Linux world is much bigger than Red Hat. Here <https://www.computerworld.com/article/4084865/ibm-to-cut-thousands-of-jobs-as-red-hat-growth-slows-2.html> is another reminder. Red Hat may well be the most profitable part of IBM left (which is why its troubles are having such an outsize impact on the company as a whole), but in the whole Open Source scheme of things, it is but one of many players.