> No, it's now a known bug (at least I don't know it). Whether or not it > gets fixed might depend on whether or not it gets reported to > bugs.python.org. Ok, I'll repost it there. S.