How to modify Visual Studio Code User and Workspace Settings.