Modellerade AWS-avbrottets DNS-racetillstånd i Quint och Choreo efter att ha sett en TLA+-version i Murrats blogginlägg. Choreo-versionen är mer utförlig, men den har några verkliga fördelar för läsbarhet och dokumentation av felscenarier 🧶