Re: [Python-ideas] str.split with multiple individual split characters