I noticed that there are hardly any messages posted here these days.
If I am not mistaken, this group used to be fairly active. Or, is it
possible that I am confusing this with another group by a different name
that I used to check out from time to time?