5  Settings

We’ve added quite a few non-default settings, which will be automatically configured with this profile. Again, you might not like all of these — feel free to remove these from your settings.json file.

Here is a list of some of these settings: