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.