[Python-Dev] list.extend