Talk:Hal's Christmas Puzzle Party!/@comment-35329880-20181224004810/@comment-36107211-20181224031400

Dave might have added that in.