As it happened, the sting at the end of Big Hero 6 is a fun one. However, Hall said that “we just kind of forgot” as to why it hadn’t come up beforehand. “When we went to see Guardians Of The Galaxy, we got really scooped. It horrified us, that people were sat waiting for an end credits thing, because of the Marvel DNA. We didn’t want people to leave the movie disappointed.”

One brainstorm later, and a scene was concocted, which was started properly in August.

Hall’s words, however, point to a sea change in what the post-credits sting has become. Whereas once it was a treat for those who stayed to the last, now it’s expected. Even though it was widely publicised in advance, many of us still sat right the way to the very end of Avengers: Age Of Ultron, for example, only to find the lights came up with no extra footage.

Sure, maybe if Marvel had done its Spider-Man deal with Sony a little earlier, then it may have been a chance to reintroduce the webslinger at that point. But I wonder if James Gunn signalled the beginning of the end of the seemingly-compulsory post-credits scene with Guardians Of The Galaxy last year. Marvel had made it pretty much the law that the very end of one of its movies either had to have one more gag, or a further tease. Gunn turned it on its head and used his final scene to lampoon the whole idea, bringing in Howard The Duck because he could.

It’s comic book movies in particular that have been employing the post-credits sting more than anyone. Heck, going back to 2013’s The Wolverine, there’s an argument that the most memorable thing about the perfectly decent movie was what amounted to an X-Men: Days Of Future Past trailer in its end credits.