Interesting that you called it an "option". It's not discoverable via the command palette. There's no Tools menu, the settings isn't in the Edit menu, and I cou

Interesting that you called it an "option". It's not discoverable via the command palette. There's no Tools menu, the settings isn't in the Edit menu, and I couldn't find "settings" or "options" in the command palette. Turns out it's called "preferences", and it's only visible in the file menu or command palette when you type "preferences". I think they should add command palette aliases, so "preferences" can also be found by searching for settings or options. And maybe the menu entry should be moved to Edit.