Thanks for confirming, I get into that menu by long pressing on the search bar indeed and then I get this option called “Preferences” (without translation thus):