[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]

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

[vortico]

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]

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]

I just used [e-mail] to archive all the web parts and then a bunch of curl plus the email to save the PDFs.