New submission from Harry Coin :
When first I read the str.split documentation I parsed it to mean
'ab\t cd ef'.split(sep=' \t') --> ['ab','cd','ef']
Especially as the given example in the docs with the <> would have led to the
given r
Harry Coin added the comment:
I suspect the number of times the str.split builtin was examined for use
and rejected in favor of the much more complex and 'heavy' re module
far, far exceeds the number of times it found use with more than one
character in the split string.
The