On 06/11/11 19:31, Felipe Contreras wrote: > The discussion about what this list chooses to do is pertinent to this > list. In which case let it drop and let the list maintainers decide. I think you've made your point. jch