Dedup using a `.bigtrees` file

Posted on July 8, 2025