Hello, > > I will have a look at your patches on Monday, unless somebody beats me > to it during the weekend. Thanks, based on some remarks, here exactly the same patches, but with improved commit comments. Will be probably better to integrate these. Regards Pierre-André