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