On 6/26/13 11:59 PM, Jonathan M Davis wrote: > I'm just pointing out that ignoring what the majority > thinks is not necessarily a good idea. Of course. In this case it is. Andrei