The first Monday after the second Wednesday in December is December 16 this year. So why are they voting on December 17?
They changed the law. It used to be a Monday. In 2022 it was changed to a Tuesday. The OP quotes the old law.
I thought it was the 18th.