Seems the version in the devel branch now works - so I don't mind the patch not being there (when I checked why my PR broke, the devel project was still in state failed - which was a bit frustrating to see... but given its now all right, the maintainers were well on the case... )