I use Google News when I'm behind firewalls, and a consequence is that
-- this time -- I thought I was posting to a different group.

I honestly thought I was posting to another group.  Mea culpa, and
sorry for the line noise.

--- SER