This morning's hard reset (the fourth? fifth?) seems to have improved matters. HomePod Mini no longer vanishes from the Airplay “target" list (or whatever) when I tap the top. Still to test: is the unwanted-pausing of the aTV in the den fixed too? If so maybe I'll keep it.