I think all sides have been heard in this discussion, and with the Warty release looming ahead of us, we shouldn't even consider changes like this, so let's let the matter rest for now. -- - mdz