Oh? Is that why Microsoft (Github's owner) is spending $80B on AI this fiscal year?