Hasn't he been hired my Microsoft recently, to work on python again?