Is that an OCaml reference/joke?

They revoked the “English only” rule in August. Source.

“Why not? You and I are eccentrics. We’re certainly not typical of the people living on Terminus. As for criminals, that’s a matter of definition. And if criminals are the price we must pay for rebels, heretics, and geniuses, I’m willing to pay it. I demand the price be paid. […] You can’t have geniuses and saints without having people far outside the norm, and I don’t see how you can have on only one side of the norm. There is bound to be a certain symmetry.” - Foundation and Earth by Isaac Asimov

I agree, I’ve always used sudo apt update, sudo apt upgrade and flatpak update on Pop OS and never used the pop shop.

I’m using PocketCasts and I paid a one-time fee before it became subscription based (but there’s still a free tier), in order to be able to listen to podcast using the web app on PC. Thus I now have lifetime premium access.

I’m very satisfied with their service, I did not find any problems with both the Android app and the web app, moreover it has almost every feature I need, except voice to text conversion in order to be able to share slices of audio in text format (but there are dedicated apps for that).