[Gretl-devel] problem of Google for mailing list search

Hi, recently Google has started to require acceptance a new and arguably very problematic "privacy" policy (probably a better term would be non-privacy). I just realized / was reminded that gretl's mailing lists searches use Google, and if you don't agree to the new terms it seems to me that searching becomes impossible. Is there another way to search the mailing lists? If not, I think it is another reason to somehow change the online discussion framework. Thanks, sven