@aslakhellesoy Sure, I don’t mind giving up the economic copyright rights on this as long as that’s not exclusive (i.e. I’ve written this particular code a few times in the past and will do so and it’s trivial enough I need not copy-paste) and I’m still credited. (I think our employer, tarent solutions GmbH, also would like to be credited, but that’s in the git history of course.)

I will submit a commit to this fact.