There’s a forth one: I did several dist-upgrades with Ubuntu and all did well. The one that got hosed by a user could be easily recovered