> On Mar 10, 2023, at 2:52 PM, Ron Garret <ron at flownet.com> wrote: > > > (I note in passing that the certificate for lists.clozure.com has expired.) Now fixed. The certificate renews automatically, but the web server wasn’t reloading automatically.