> Noted, thanks. Any other comments on the patch, before I post a revised > version mentioning the yet-to-be-filed bug report? I am pretty useless in that area of the code, sorry.