Changes touching this path

• the site stops offering public as a tier name in the three places a reader copies it from, and a grammar-precise pin reads the vocabulary off USAGE so the page cannot drift from the CLI again (#1185) fd5bb36f · 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.