Мой фолт. Это одно из тех обновлений, которые не попали в прошедшую профилактику (файл изменялся до мая, в то время как в профилактику были захвачеты изменения от мая). Я принял меры, остаётся дождаться ближайшей профилактики.