If it is part of a broader discussion post and the post itself makes things clear then the piece as a whole should stay.

I'm happy.

That's your opinion and when the rules guidelines discussion happens we will be two people out of many.

Smile. It was a cheesy joke. That was your cheesy joke punishment for the rant yesterday :)

How long would it take him to fix the title and repost?

A lot longer and more unnecessary than not aggravating everybody involved in the first place over something trivial.