[Python-Dev] Re: Changing Python's string search algorithms