A number of projects could benefit. Doesn't mention CC0 but seems like a superset (affirms that he held exclusive © on all songs + lyrics)
https://tomlehrersongs.com/

Happy holidays. (And thanks, TL!)



🌍🌏🌎🌑