The cut operator was only used there for performance reasons. And I did it only because I _think_ it's faster, not because I know for sure. It certainly didn't change the meaning of the regex, it would still match the same set of strings.

Abigail