>I can't quite escape the pun, however. And puns are pretty prevalent in Chinese. Someone will have OKed it. The tones are at least slightly different 鸿蒙 2/2 a

>I can't quite escape the pun, however. And puns are pretty prevalent in Chinese. Someone will have OKed it. The tones are at least slightly different 鸿蒙 2/2 and 红梦 2/4, but I also think they might have done it for that reason.