Microsoft is a giant collection of individuals, each with their own programming abilities. Specifically, Guido is a Microsoft employee, he's at the head of this team. And my understanding is that they're going to go the traditional PEP route to mainline their contributions.