Steve Terry wrote:

> It's a bit quiet, only about a dozen postings today (19th)

Thanks: turns out that my newsreader had gone wrong: for some reason
this newsgroup (only) was not finding new messages.

Seems to be all sorted now, even though I don't think I changed anything
- I just re-subscribed another time.