Settings UI search results unexpectedly change

[isidorn]

1. Set "workbench.settings.showSuggestions": true
2. Open settings UI, search for "increase text size"
3. You get some results. Wait a bit
4. Open settings.json, go back to settings UI
5. Results are different than in step 3 🐛

Screen.Recording.2025-05-22.at.09.54.57.mov

[rzhao271]

The Settings editor now uses a toggle to toggle between string-matched results and prefetched AI search results. Closing as outdated.