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