No pun intended.

Spoilers!!!
.
.
.
No pun in-ten-did.

That's what I thought, but thank you for confirming

I would never have guessed that! Thanks

pun intended

no pun in ten did, he wrote the word "did" 10 times.