> On Jan 12, 2017, at 04:22, Karl von Randow <karl at xk72.com> wrote: > > I’m sorry I didn’t discover this bug somehow! Who cares?—I really appreciate that you provide a fix after no progress has been made for more than half a year! That’s awesome. -hendrik