Почему не работает time.timezone в Python после перехода на зимнее время 26 октября?

Время datetime.now() Python выдаёт правильное.
Таймзону тоже выдаёт правильную: MSK.
Системное время о коменде "date" тоже правильное.
Переключатель зимнее/летнее тоже правильные: time.daylight равен False.
А вот 'time.timezone' равняется четырём часам, а не трём.
Это всё на Линукс.
При этом на Windows всё правильно: time.timezone равняется трём часам.
Правда на Windows по-другому называется таймзона "Russia TZ 2 Standard Time", но не думаю что это важно.