What are the migration options and tools available for Microsoft entra external id if "one wishes to migrate LDAP users and groups to" Microsoft entra external tenant. There is no information provided from the Microsoft on this. Only information is about migrating users from on-prem ad to cloud.