>>>>> "GvR" == Guido van Rossum <guido@python.org> writes: GvR> If others on python-dev agree they can give the word. +1