Add search to Settings UI

[RokeJulianLockhart]

Feature idea

Locating some features is difficult for the novice user. Regardless of difficulty, manually navigating wastes time, especially for the frequent user.

Luckily, https://github.com/florisboard/florisboard/issues/1888#issuecomment-1142519475 doesn't apply here.

Checklist

• [x] I made sure that there are no existing issues - open or closed - which I could contribute my information to.
• [x] I have read and understood the contribution guidelines.
• [x] I have taken the time to fill in all the required details. I understand that the feature request will be dismissed otherwise.

[patrickgold]

I quite like this idea, however it might take some work at Jetpref to make this happen.