@perspektivbrocken I am on GitHub. Happy to make a pull request. But as this is a structural change, maybe it is better when one of you do this. No idea where you would put this in the hierarchy.

@hendrikerz