Leo Famulari writes: > On Mon, Dec 12, 2016 at 12:05:57AM +0100, Marius Bakke wrote: >> Marius Bakke writes: >> >> > Perhaps something like this would work (untested)? >> >> Oops, here is the patch I wanted to attach: > > Can you make it a patch? :) I'm testing it now on a branch, will report on the results in while. Here it is in patch form: