master
🤖 Merge PR #69388 Update VSCode extension recommendations by @remcohaszing
🤖 Merge PR #72399 Fix VS Code settings precedence by splitting by @samestep