Changes touching this path

• the pr-map ledger heals on discovery: status reaps a row only where origin/main proves its change published, and prints the durable id in letters (#624) 1c459083 · 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.