On 24/01/2016 6:35 a.m., Alex Rousskov wrote: > > If there are no objections, I will commit your patch (with the above > polishing touches). Please do. It seems to have 3 votes already. Amos