Improvements to settings managers by combining
I wonder if you could actually put all settings under the Opera://settings site.
Like the plugin manager ( Opera://plugins ), extension/addon manager ( Opera://extensions/ ) and so on. Maybe also flags as a sub section of advanced settings.
They could all be a part of settings instead of having lots of different pages for different settings.. It would be really helpful to have it all in one place, also so the search function would actually work, instead of navigating to the right settings site, then search.
I do not see a reason why settings should be divided like this ( except maaaaaaaaybe the flags settings), Also when you write "opera:" in the url bar, why isn't "opera://settings" one of the options, since it is one of the settings sites.