Correction to the body's Verify step 8, which supersedes it. Step 8 should read:
"8. Tap the "App defaults" chip. Expect the group to read "3 servers · the app defaults" and the list to hold the three default servers again. No "Servers you left" group appears: that act only adds a server to the list, and nothing is retired unless a server is dropped."
Walked that way on raven at tip 80f07463: the chip put the list back and no retired group appeared, which is what `retire()` does — it records only servers in the old list that are not in the new one.