On 2024-02-19 14:14, Bart Schaefer wrote:

If anyone knows of a searchable mirror now that gmane.org is gone,

please speak up.

25 years of questions. That's a resource.