[Short follow-up to Haskell Interlude 71: Stefan Wehr]
The Buzzsprout player is present on the page (and download via Share works).
The name of the downloaded file is “processed_audio.mp3”. Not just with this podcast, but previous ones as well. So it requires manual renaming. Not a big deal, but would be nice if the downloaded file has the title of the episode as its name. (In particular for people downloading multiple episodes at once.)