"And never forget all the wonderful material he wrote for Sesame Street"

That made me sit up. "Never forget" - that was the first I've ever heard about that. There were some pretty good songs on Sesame Street.

So I went looking - couldn't find much about that, but there's a mention of it in this excellent article I found when I started googling, and typed in "Tom Lehrer + Sesame Street".

But if someone can come up with more about the Sesame Street stuff...