Re: lists.gnu.org/archive web search is broken?

[Eli Zaretskii]

> From: Ag Ibragimov <agzam.ibragimov@gmail.com>
> Date: Thu, 21 Jul 2022 19:07:20 -0500
> 
> Does anyone use the archive?

I do.

> What's the point of having a web-page for it, if you can't even
> search for stuff without downloading it locally? Or maybe "How to
> search" instructions need updating?

The search is indeed problematic, but it isn't entirely dysfunctional.

Anyway, the archive is not maintained by us, it's a separate project.
Please send the problems you find to mailman@gnu.org, that's where
people who maintain the GNU email archives are.

Thanks.