Repository navigation

fix(pm): a `retiredKey()` tombstone declares a key unwritable, not a new spelling #13120

Job	Run time
No other open PR may claim the same issue	6s
	6s