Hello, I was searching for an article with DuckDuckGo, and guess what appeared on top of the results... https://lists.gnu.org/archive/html/www-commits/2023-05/msg00082.html and https://lists.gnu.org/archive/html/www-commits/2023-05/msg00062.html !!
I understand it wouldn't be practical to make this list private, but it could at least be off-limits for crawlers. Thanks! Thérèse