Environment data

Version: 1.46.0-insider
Commit: b1ef2bf
Date: 2020-06-05T12:30:13.870Z
Electron: 7.3.1
Chrome: 78.0.3904.130
Node.js: 12.8.1
V8: 7.8.279.23-electron.0
OS: Windows_NT x64 6.1.7601

Expected behaviour

jediEnabled = false should be migrated to languageServer = Microsoft

Actual behaviour

It doesn't. After updating, languageServer became Jedi.

Steps to reproduce:

1. Disable extension auto update ("extensions.autoUpdate": false).
2. Manually install an older version of Python. I use 2020.5.80290.
3. Set jediEnabled to false. languageServer setting doesn't seem to matter, I tried to leave it as Jedi or Microsoft, no difference.
4. Manually update Python extension to newest (2020.6.88468), and reload.