On: Tom Lehrer releases song lyrics to public domain

[coffee--]

certainly imperfect, but before 2024 you might want to run something akin to:

wget -r -l 2 -A pdf --no-parent https://tomlehrersongs.com/index/

[gspr → coffee--]

Hopefully I got everything: https://nonempty.org/stuff/lehrer-pubdomain.tar.gz

[vortico → coffee--]

Hopefully the Wayback Machine will pick it up. It only has the index page at this time. https://web.archive.org/web/20200302193816/https://tomlehrer...

[kwhitefoot → vortico]

Use the Firefox extension to add the pages to the Wayback Machine. I've added some. Don't forget to add the actual pdfs.

[pabs3 → kwhitefoot]

I just used savepagenow@archive.org to archive all the web parts and then a bunch of curl plus the email to save the PDFs.