“Baidu's cloud revenue growth in a recent quarter was almost double the overall growth rate for the cloud market in China.”