Should that also go to users@ and devel@? What fraction of people on users or devel are also on announce? -- These are my opinions. I hate spam.