Microsoft is betting on pylance for VSCode instead of pyright, though, and pylance is not open-source [0].

I wonder if Guido will be ok with that. For me pylance looks like the biggest evidence that embrace-extend-extingish mindset is still alive in Microsoft, unfortunately.

[0] https://github.com/microsoft/pylance-release