It turned out that Mint has its own search engine baked into Firefox (wrapped around Google). You can remove it, but I couldn’t figure out where it installs from in the first place. And the search itself is pretty lame — the relevance is off, the menu at the top is awkward, and there are no settings whatsoever. Thanks to Yandex, I found an XML file, replaced the default one, and got the native familiar Google search back. By the way, lately it’s been helping me more than Yandex. I’m wondering — have the search engines changed, or am I just searching for different things now…