After the RedHat rumor was