Search on Settings screen

[mtotschnig]

Finding an option in the Settings has become more difficult, with the size of available options, the split in chapters, and the fact that some options are hidden by default behind Advanced toggles.