When the Python extension is enabled, and I open a Python file in the editor, then reload the VSCode window (Developer: Reload Window), the contents of my settings.json file are copied into the Python ...