This time zone change is listed there. It says 1:00pm EST to 1:00pm EDT on the page linked, and so it is incorrect.
This time zone change is listed there. It says 1:00pm EST to 1:00pm EDT on the page linked, and so it is incorrect.