From my quick read of their post
It looks like they didn’t migrate, they just left.
Can you get account information from Discord with proper trust levels? If so you can write an import script (see discourse/script/import_scripts at main · discourse/discourse · GitHub for examples).