Adding a search bar in the https://wiki.freecad.org/Preferences_Editor would be next level amazing. Any interest ?