В ноябре 2023 года россияне будут отдыхать девять дней, один из которых будет праздничным. Сколько продлятся выходные, когда наступят?