I actually found it when I was looking for a replacement for Dash, after I switched to Linux. It's not quite as convenient (still miss being able to pull up Das

I actually found it when I was looking for a replacement for Dash, after I switched to Linux. It's not quite as convenient (still miss being able to pull up Dash with a global hotkey) but it gets the job done.