Hi Richard - thanks much for the patch. It looks quite reasonable. I'll check and install it as soon as I have a chance. I think we also need to ask you to sign a copyright disclaimer for this, since it's not exactly trivial. I'll write you separately about that.
Thanks again, Karl
