Странно, что при попытке воспроизвести проблему (с помощью инструментов дистанционного управления) этим утром проблема исчезла. Там не было никаких указаний для меня, как я это исправил. Я проверил историю Центра обновления Windows, но также нет никаких указаний на нее (последнее изменение от 2016-05-24).
Будем надеяться, что он не появится снова.