Thanks so much for the reply! I followed these steps, but no matter which one I click, it takes me right back to the Redirections tab. It doesn’t generate any kind of file or download that I can see. Am I missing something?
I too would be interested in knowing whether redirects can be exported! From a Google search, it looks like this plugin used to have this functionality.
I moved the plug-ins back one by one to test them, but the problem didn’t return. There were 2 plug-ins that needed updating: Semalt Redirect Manager and WordPress SEO by Yoast. Not sure if either one of those might’ve been the culprit. The only plug-in I didn’t move back was ManageWP Worker, because I don’t recall ever using that one.