I remember years ago having a style that was specifically for XMas tunes, with Jingle Bells, etc. It must have been a MIDI style back then. Anyone remember this? Any thoughts about finding it again, why it went away, how to get it back? Anyone make any styles that work well for this kind of thing?

There is a XMAS_P style from December 2020

These are displayed when the search filter is 'Christmas':

Doesn't show up for me(?)

I don't have that either. But maybe this would be helpful
BIAB XMAS Songs


Merry Xmas

Did you press the 'Clear Filter' button first?

Thank You MusicStudent!

That worked. So, the XMas style doesn't come with BIAB?