I think I figured it out: you need to press the down arrow on "Save", and select the "team-shared" option, and it will save these in the `.DotSettings` file. It's a bit hard to find but at least it's there.