Does the spin off include Red Hat which they only recently purchased?