Simon Michael wrote:
> My question is: What should be done with the bots currently announcing 
> in the #squeak IRC channel ?
> 
> a. Minor tweaks only, they are basically fine where they are.

I think all signs of life are helpful. However, not being a heavy IRC 
user myself, I will defer to those of us who are ;-)

Cheers,
   - Andreas