Brazil's native search engine got bought by Google many years ago.