I think the patch was only intended as a means to get more information, not as
a fix to be merged. Right, Maarten? Did you get more information from the
feedback on the patch so far, or what specifically do you need?