Hasn't Microsoft hired a few of the top Python development guys?