On 20-01-17 16:35, Gordon Messmer wrote: > I find filing bug reports generally more effective than hoping, and > submitting patches more effective still. I did already file a bug report. Since this involves a change in definition I'll wait for input before starting on a patch. ;-) -- Robbert Eggermont Intelligent Systems R.Eggermont at tudelft.nl Electr.Eng., Mathematics & Comp.Science +31 15 27 83234 Delft University of Technology