Hm, the Settings look different now with

remote:

duplicated in both

vaults:

and

workspaces:

for workspace vaults. Is this expected?