Nonetheless, the Google-powered search is still better (it shows you the searched-for terms in context).