Just a reminder: Red Hat is owned by IBM, though they say that this is an independent subsidiary https://en.wikipedia.org/wiki/Red_Hat