I've leaned on simply "yeah, but long since solved" when lunchtime chats were still a thing. It was the fastest way to shut down that branch in my experience.

However, I do like your full and complete answer. It acknowledges the old situation and completely nullifies it. I'll steal your second paragraph for when coffee time returns to normal ;)