It's the difference between something like Die Hard where the setting is a Christmas party, and there's hapy holiday's tape he uses to hold his gun to his back, but doesn't have Christmas in focus.
Or something like Gundam where it's a footnote in some supplemental material that hey, it was Christmas.
The first is a trope. The later is just some trivia factoid added to the work after the fact.
Reality is that, which when you stop believing in it, doesn't go away. -Philip K. Dick
NaNo 4328 / 50,000
^^ Then this means that this trope doesn't need to be split, but rather just retooled into the "Die Hard" definition (since the "supplemental" definition isn't tropeable).
I dunno, couldn't the supplemental definition be a trivia trope? Or is it covered by All There in the Manual?
No such thing, BTW. If it's trivia, it's Not A Trope. (Though there may be an article about it.)
Becky: Who are you? The Mysterious Stranger: An angel. Huck: What's your name? The Mysterious Stranger: Satan.
NaNo 4328 / 50,000
My preference for action is to rename the trope, and clearly define it as "clearly set during a holiday, but plot is not focused on holiday events".
Link to TRS threads in project mode here.
How about Who Cares That It's Christmas?? That gets the point of the trope across the best.
Locking as part of New Years Purge
Reality is that, which when you stop believing in it, doesn't go away. -Philip K. Dick
So, if we go with the split, both tropes would be about "plot is set on a holiday but isn't holiday-themed", and the difference will be whether they mention the holiday in the main work itself or in the supplemental materials? Is that enough for a split? Maybe an internal split (one trope page, two example lists) will be better?