[Python-Dev] Why does "except Ex as x" not restore the previous value of x?