Seen at https://news.ycombinator.com/item?id=34024968
and confirmed at https://tomlehrersongs.com/.
Decided to post here given that our own @daniel_reetz has top comment at the moment in the HN thread.
Tom Lehrer places all his songs into Public Domain
Moderator: peterZ