Contributors to Comments on 2022-12-25 Merry Christmas 2022