Changes touching this path

• the curl | sh smoke-install job skips itself while the repo is private, so a red release run means a real failure again (#761) 795bc2f6 · 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.