I have a dev related question. Could we perhaps remove the appearance related configs from the workspaces? Since most users of VSCode have these settings inside their User config and the Workspace config overrides the userconfig.