Interesting, for me they don't. I can only choose between Google, DuckDuckGo, and Wikipedia, even though I have more custom search engines available. They work

Interesting, for me they don't. I can only choose between Google, DuckDuckGo, and Wikipedia, even though I have more custom search engines available. They work via their configured shortcuts, but they don't appear in the search settings.