trie: removed deprecated comments on tombstones.