py: str.split: handle non-default separator.