Hello, thank you for this invaluable program.
I frequently use tools in the sidebar, namely groups, web search, and search.
I would like to propose a change to 'Search' to free up some screen real estate (which I have to little of). The search takes up quite some space due to its options 'Incremental/Float/Filter/Show results in dialog/Global search' which are radio buttons.
What do you think of moving this group into the search settings menu, where the options are still easily accessible, but only visible upon request? I think most users do not change their search preference very often.