This year’s holiday season has largely been a lump of coal for the movie industry. Domestic box office receipts for the season starting the first week of November have barely crossed the $1 billion mark. That is actually below the same period in each of the past two years. It is also less than half the $2.3 billion average for the holiday season in the prepandemic years of 2015 to 2019, according to Box Office Mojo.