(2020-08-14, 6:46)Philippe Hurbain Wrote: Works well overall, but sometimes I get weird results: if I key in "shortcut pattern" I get a handful of... primitives!
Since I'm quite literally using the search results from the HTML of the search page, this is that same thing you'll get if you type "shortcut pattern" into the existing menu bar search box and hit enter.