The Muppets were in the final edited master. We had no idea they were going to be edited in. We had asked for things like "Underwater Photography" and "Read the Novelization" in the ending credits, so we didn't take any of it very seriously; & weren't upset by the grace notes.

— Jeff K. (@secondtino) October 9, 2019