I'm really surprised this could happen. As they note:

> Write your auto-updater code very carefully.

You have to be soooo careful with this stuff. Especially because your auto-updater code can brick your auto-updater.

It looks like they didn't do any testing of their auto update code at all, otherwise they would have caught it immediately.