Tiny tool for deduplication (and reduplication)