Cool! I’ll have to try that.
I think for me the important options are less about them being important to my workflow and being a higher menu item that is generally more important than an individual item. Many search functions find ways to better prioritize search results. I actually prefer the less helpful and cleaner jump bar from before because the bloat isn’t there. I do, however, love this idea of changing a setting on the fly, Very speedy. I just think some better organization of search results would help the overall UX