Fix bug 909817: Ensure snippets from match_snippets are distinct.