I saw that Dash 6 is out and for about 12 seconds I hoped that they ditched the browser-like search bar, but no such luck. The Dash 4 and prior UI allowed for 1-click navigation between search results and that tended to accommodate my documentation searches better. Too bad, I used to be a big fan of this tool. I’m starting to wonder if I should write my own. What do you use?