On Aug 7, 2017, at 8:26 AM, gregor herrmann <gregoa at debian.org> wrote: > > > This looks indeed much better than my crude workarounds, thanks for > that! > > Do you think you can take this up with upstream? Yes, I think Kjetil and I can work on getting this merged upstream. Thanks, Greg