Contributors to 2023-12-25 Merry Christmas 2023