P.S. I'm not at all opposed to the patch as you propose it, I'm just thinking about loud about extensions. It's all blue sky though, and you have a concrete reason for this. As the Timbot said: Now is better than never. Although never is often better than *right* now. The first is for you, the second is for me. :-)