Google Groups has been acting up for a week or so and is not showing
all posts - I can see your earlier posting by using OE, but not
through this portal (which I've gotten used to, so tend to use most
often), so this posting of yours was a bit of a surprise.