We point to a different marketplace for downloading extensions, and use a fork of ms-python and pyright to provide python support.