Has anyone created a Reddit migration script?

During the mastodon migration there was a script to find Twitter users on Mastodon based on info they put in their bio. Based on this link, we could automate some of that. Does anything already exist to do this?