Wietse Venema Thu, 14 Jul 2022 08:06:51 -0700
Apologies for the noise, but there are no good ways to found out if the list is working.
Wietse