Ah, well, at least this thread told me about TextFugu, because I haven’t heard of it anywhere else.
I only started listening to the podcast a few months ago, so having it end in 2023 felt really abrupt when there was so much there. Though I was more a fan of the meandering early episodes than the serious ones. I feel like those could come back under a new name some day and nobody would complain as long as it was separate.