Hmm. I guess “Allon, Gay Bergeres” would be right out. It’s filled to the brim with it.
Anywho, I woulda guessed that’d be one song they’d put front and center and made sure you heard it right!
...But, being a genuine Christmas carol about the birth of Christ and all, that’d be enough for Disney to pull it, too.