No doubt in my mind this was done on purpose. The intern was just having some fun, and while he was laughing, he forgot to hit delete. You don’t change “dink and dunk” to “drink and drunk” when talking about Ben Roethlisberger by accident. You just don’t.
Only thing to tell your boss? This.