Thanks @wwe - I’m not sure how to get a matching userid.
My LDAP userid is “teddy” but by Nextcloud userid seems to be “1c0d6984-6795-1032-8e83-e5ab1e980d98”. In Auth0 I have access to the LDAP userid and email address, but not the Nextcloud one.
I did find the database table oc_ldap_user_mapping which maps them, but I’d need to maintain this as a custom field in Auth0. I assume I’d need to have new users log into Nextcloud with their LDAP username & password first to create the account?
I found this topic which you had instructed them to add to the IdP which is fair but I’m not sure how to reliably resolve it in real time.