If they did mention or go after it, musk wouldn't be able to shoehorn X and X/Payments into the gov marriage of his dreams to make the US version of WeChat.