Re: [Python-ideas] New pattern-matching library (was: str.split with multiple individual split characters)