[BUG] workspace/settings.json is ignored

[mcnesium]

    "database-client.autoSync": true

this line is added to ~/.config/Code/User/settings.json whenever VSCode is started in a project workspace, even though the setting is already in .vscode/settings.json within that project workspace.

Expected behaviour: the workspace setting should be respected over the user setting and thus not added (again) to the user settings file (which causes trouble if user settings file is read-only because managed by home-manager).

Database Client version 8.4.2
VSCode version 1.105.1