http://www.othercrap.com/2020/10/satirist-tom-lehrer-has-put-his-songs-into-the-public-domain/
Satirist Tom Lehrer has put his songs into the public domain