Sorry for the slow reply. I lost interest in pushing this when it became clear that merging a simple patch required more energy than I had to expend... Take it or leave it, I'm not interested in fighting over this. Previous e-mails were written a while ago and with a previous e-mail address.