Google Podcasts user here.

I was waiting for the feature to export my subscriptions to import them to Pocket Casts. I already tested Pocket Casts and is good.

But I'm not seeing yet the export option on https://podcasts.google.com/settings as the article says.

Screenshot: https://imgur.com/a/I36vBAi

I guess the feature is gradually rolling out.

Someone can see it?