Seems the whole google groups system (which I use since my ISP dropped
usenet) went down for two days, and is just now catching up, something
that was not apparent to me when I posted the second post.

Sorry!