Nope, you did a thorough job of describing it. I had the same question when they first came out, it's something we (meaning North America) kind of took for granted; that when you cut power to a coil, it drops out and opens the circuit. We all KNEW or had experiences of welded contacts, and where the aux contacts went ahead and changed state, even though the circuit was not open. But it was so rare, we didn't give it a lot of thought.
But for the hyper safety conscious Europeans (mainly Germans) who want to cover EVERY possible scenario in a "Machine Safety Evaluation", that possibility, however remote, was unacceptable. So that concept of "force guided" contacts was developed to eliminate (or nearly so) the possibility that the aux contacts could open without all of the power contacts opening. Mostly though it's not just the design, because that part is easy to change, it's the CERTIFICATION that's important, at least to the EU folks. Eventually we will get around to adopting those safety standards, but there is a LOT of resistance to that here. Think "Nanny State" arguments.