IBM только что купили RedHat.