Do we still need .vscode/?

[thedavidmeister]

Do we still need .vscode/?

.vscode/extensions.json recommends one extension:

{ "recommendations": ["jnoortheen.nix-ide"] }

Question: is this useful enough to keep checked in?

Arguments to keep

• One-line nudge for new contributors using VS Code to install the Nix-IDE extension. Zero maintenance cost.
• Doesn't affect anyone not on VS Code.

Arguments to drop

• Editor preferences in a tools-shared repo invite drift — once you add one editor's config, the next contributor adds Helix's, then Vim's, then JetBrains's.
• The recommendation is generic ("install the Nix-IDE extension if you're on VS Code"), not project-specific. Belongs in CLAUDE.md or README.md, not as committed editor config.
• .vscode/ is in .gitignore for many other Rain repos.

What I'd suggest

Drop .vscode/ and add a one-liner to README.md or CLAUDE.md noting that VS Code users may want jnoortheen.nix-ide. Same information, no editor-specific files in the repo.

But it's a minor call either way — opening this for discussion.