Not to my knowledge? But even if that's the case, Cursor seemed like they were doing fine without SpaceX, and I'd like to avoid giving a single cent to Elon Musk. You can do as you wish.