I suggest closing the docs list to humans (using the dev list instead), keeping it only for wiki update messages.
+1 either way. I subscribe to both and assumed others did too.
Geoff
I suggest closing the docs list to humans (using the dev list instead), keeping it only for wiki update messages.