was merged into the main branch. The patch has (indirectly) made it into the main code, so I'm erasing it now.