where do we want to send website bot notices?

[Roy T. Fielding]

I was about to update the site config so that it wouldn't send notices
to dev, but I don't know whether they should instead go to cvs, docs, or
a new list (like notices at httpd).  Any opinions?

....Roy