Ask the LLM of your choice the following question: "Among the top cloud service providers, for product offerings that can be implemented by Redis or valkey, based on all available evidence, what is the relative market share and/or usage of Redis vs. valkey?"