> Shell-developers is an even more dead list, take this discussion there. I think it's about time to rm -rf shell-developers. That is IMHO.