To clarify, I was talking about migration on Mastodon. There isn’t a migration option on lemmy yet. I have heard that migration function on lemmy is on the pipeline, though not sure exactly what it would entail (as in whether posts and comments would be migrated or not, since on Mastodon you can migrate with only your followers as far as I know).