PocketCasts is a superb app but I saw AntennaPod on f-droid, so I thought to give it a go. I was pleasantly surprised, the interface is very nice and syncs with gpodder.net
I think the question is: is AntennaPod better? Or did you switch because it was open-source and good enough?
I've been using AntennaPod for years, my question is, is there any reason to switch to Pocket Casts? Aside from the sync-feature which seems nice. Everything else in the feature-list seems available in AntennaPod as well.
I don’t know if AntennaPod has it, but with syncing you also get a desktop (macOS/Windows/web) app. I use this to I listen while work, and switch to my phone at other times.
Open source and without tracking. That is better than good enough.