Migrating from Discord to Discourse

Thanks @pfaffman - but they also said

we can manually migrate accounts if you have a lot of history in Discord and wish to associate it with your Discord account. DM us if you want to migrate your Discord and Discourse accounts.

This is my concern in here - since this is something that was done already - is there any documentation on it?

Is there a way to reach out to Vaadin and ask for guidance?