Is Musk so good at playing jokes? I just learned that Musk's xAI company submitted its trademark application on August 1st this year, and the trademark citation in the application is "MacroHard" The Chinese translation is: Giant Hard. Am I right? Is this targeting Microsoft?