given the popularity of chatgpt, it would have been perfect for GitHub to spin off a dedicated AI product using the domain. had msft not purchased them, then I suspect the founders would have been interested in the domain.