[Python-Dev] Re: Python history: origin of the arrow annotation