@WouterJ So what about closing this PR then? And perhaps create an issue instead?