[pkd]

Unrelated to the thread, but I opened a PR on your repo the last time you posted about it here. Right now it is still open :/

[melling]

I'll have to fix it after my vacation. There's now a conflict. I didn't see it because I'm subscribed to too many github repos.