Changes touching this path

• the receipt-path pin stops reading green after `className="proof"` is deleted, because the two selector steps #1360 left unchecked — the `.proof` card the rule descends from, and the `>` the `<summary>` sits on — are now walked in the markup rather than named only in a header whose count is now one per step of the selector instead of a number typed beside a shorter list (#1472) 5daf9859 · 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.