It's been added as a part of the gitpod setup. We may delete it now, I believe. Also, if you're configuring your VSCode, there are 2 levels of settings: User settings and Workspace settings.
If you want to configure your local setup, you should configure User settings, not the Workspace ones.