@henningw - if the reason of the PR is to get some feedback, why did you rush to close it? It no longer appears in the PR list for others to spot and comment. I guess @wkampich can close it when he finds it not being needed anymore, he has developer access to the project.