[Python-Dev] split('') revisited