Delete trie matcher, now in beta.6