Corrections to Christmas Puzzle 2023

-- No issues have been identified to date. 12 December 2022

An issue was wrongly identified on 10 December. The downloadable Puzzle (and the emailed version) has been returned to it's previous state (header shows v1.3).