Description
The Python extension currently supports the boolean setting "python.enableJedi". It's true, the Jedi language server is used. If it's false, the Microsoft Python Language Server is used.
This change would replace the "python.enableJedi" setting with "python.languageServer", a string-based setting that initially supports three values: 'jedi', 'microsoft', and 'none'. The first two values map to the old binary settings. The third value results in no language server being loaded. This allows users to install other language servers like pyright without double analysis overhead and duplicate references, type completion suggestions, etc.
All other behaviors (including default behaviors) would remain the same.
Previous versions of the "python.enableJedi" setting should be migrated automatically.