Also #TodayILearned: there's a reference to the #birthName of one of the lead characters' actor, #MichaelCaine, in the shop sign in the background of one of the songs:
https://mastodon.social/media/hLZbMzzMIbmSlMGdlZ8

"Micklewhite's", as #Caine's full birth name is Maurice Joseph #Micklewhite Jr.

#TIL #Muppets #MuppetsChristmasCarol #Christmas #ChristmasCarol #CharlesDickens

Screencap from https://screenrant.com/muppet-chrismas-carol-hidden-details/