Where is that search tool?

That was a real fine search tool. I looked for it for half an hour and found it’s not obvious.

It’s the same as your internet browser, ctrl. + F

Privacy & Terms