Full threadcoffee--·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/View on HN