The New York Times Mini Crossword introduces festive words this holiday season. Daily clues include Christmas-related hints. Let’s learn more about playing Mini Crosswords.