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