That is quite fine with me, it is your patch, and you are surely free to do what you think is right. I deleted few of his posts that lacked any relevance, but I rarely use that prerogative myself. Zeev