Um, forget that mail. I had decided not to send it, and hit the wrong button. :-( --Guido van Rossum (home page: http://www.python.org/~guido/)