pretty obviously, no one who he's stated repeatedly he doesn't want to use the tool will use his tools any more. But there are more coders in the world than ardent AI users.