Contributors to 2018-12-24 Merry Christmas