On July 9, the Xiaomi Group was officially listed on the Hong Kong Stock Exchange. The company was pretty enthusiastic about the result, but its ...