GNOME’s built-in search tool can actually do quite a lot. Here’s how I use it to work faster and smarter.