Julien ÉLIE wrote: >> I'll attach a patch (which will need some polishing ...). > > Here is a suggestion of polishing. Is it OK for you? [...] Yes, that looks very good. Thanks! -thh