On 30 Jul 2015, at 3:14, Harald Alvestrand wrote: > Unfortunately this is vacation time in Scandinavia - won't do anything > with this until mid-August, I'm afraid. (Henrik might.) > > So it'll have to wait another 2 telechats or so..... Understood, thanks!