It's that Christmas Special that has Muppets from those simply known as The Muppets, Sesame Street and Fraggle Rock all coming together for Christmas, of which I don't see much problem with them doing based on what's already on Disney+ such as The Muppet Show episodes featuring Sesame Street Muppets, but it might result in some of the songs that either aren't public domain or not currently owned by Disney being cut: https://www.change.org/p/release-a-muppet-family-christmas-on-disney