Founder of Magic here! Depends on the functionalities you are using with Auth0, as long as you can export user data including a unique email for each user into a user table, you will be able to map Magic user directly to that table, it should be relatively clean since there are no password credentials involved.

We'll work on a documentation on this and also feel free to reach out to us at hello@magic.link in the meanwhile. Would love to learn more about your use case and explore how we can help you migrate!