Petropolis Kahn's moniker was renamed at the last stage: galley *The Wholly Mammoth* → hardcover "The Petropulator" (p. 907).

This is a renaming: the same material survives, but names or labels changed between draft and print.

In the galley proofs. The 1995 galley proofs: The Wholly Mammoth was Petropolis Kahn.

In the published book. Scene 172 (pp. 906–911)

Evidence. A single source reports this.

Further notes. a whole nickname replaced for evidently aesthetic reasons — the clearest single emblem of the stratum's "purely aesthetic" register.