In certain large industries it feels like there's more urgency to migrate off of VMware than there is to do genAI stuff. Do others sense this? If so, what options do you see for folks to keep their servers but move off of VMware? Is it all RedHat?