I saw a post on Mastodon yesterday about how Tom Lehrer recently put all his music, lyrics, and sheet music into the public domain, and also made them freely downloadable from his website. […] That’s a lot of clicking that I didn’t want to do, so I put together a small python script to download the PDF files for me.
