MU Toon?

Yes. It is a short that will play before the next Muppet film. They considered just putting it as a feature on the MU bluray, but opted for theatrical release instead. I assume it might have played before Good Dino before that was delayed, though.