Changes touching this path

• a release tag verifies and mints: the ferry leaves the tag path, so cutting one materializes nothing and names what it leaves behind (#933) 4979e4fc · dbf3dbe6…

Renames are not followed. loot's tree maps a path to an address, so a rename is a delete and an add. This list is the history of the name, not of the bytes.