[Python-ideas] str.split with empty separator