I expect he's kind of buggered there. He likes the X name for more than just twitter so he won't want to lose control of it. At the same time twitter would be hard pressed to justify using a domain they don't control especially after the wework scandal (or a small part of it) about the same thing.