On the other side, thinking about, if all the AI-Slope is moving to their own platform, it would be a big benefit for Github. And maybe this is their real goal? To let Github continue being a source of good high quality human-maintained training-material?