Given the percentage of useful messages we have received from usenet in
the last several years, I am going to get rid of the usenet mirror for
the list in a few days. You will want to subscribe to the real list if
you are reading it from usenet now.
Eric