Situations like this highlight the benefit of doing so as only a tiny fraction of the Windows 10 install base was impacted by the bug. Had the update …