On Fri, 02 Feb 2018 08:24:36 +0100, dieter wrote:
> jlada...@itu.edu writes:
>> Let me ask those of you who are not using Google Groups: how do you
>> search? In my experience, searching through mailing list archives has
>> been poor.
> I am using "gmane.org" which has quite a good search (in my view).
Are you sure? Have you tried it recently, and by recently I mean in the
last year or so, since the host's hard drive melted down. As far as I am
aware, gmane's web archives hasn't worked for many months.