harper: correct, as I want the settings to affect all Lua workspaces. Currently only the corresponding settings per workspace (in .luarc.json) have an effect.