> No digest has arrived since May 19, and a look at the Google Groups
> site shows a fair amount of activity on the list since then. As
> always, thanks for whatever help anyone can provide.
I'm happy to report that the digests have reappeared, starting with
posts from May 22. I'll have to go to the website for the missing
days.